From d4745ae47e013f17657d044e4e2a916999b47c77 Mon Sep 17 00:00:00 2001
From: Jonathan Coates <git@squiddev.cc>
Date: Sat, 12 Jun 2021 22:02:03 +0100
Subject: [PATCH] Don't override isMouseOver

Minecraft's Widget class implements this for us!
---
 .../computercraft/client/gui/widgets/WidgetTerminal.java    | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/src/main/java/dan200/computercraft/client/gui/widgets/WidgetTerminal.java b/src/main/java/dan200/computercraft/client/gui/widgets/WidgetTerminal.java
index 747654545..107a3c28d 100644
--- a/src/main/java/dan200/computercraft/client/gui/widgets/WidgetTerminal.java
+++ b/src/main/java/dan200/computercraft/client/gui/widgets/WidgetTerminal.java
@@ -319,12 +319,6 @@ public void render( int mouseX, int mouseY, float partialTicks )
         }
     }
 
-    @Override
-    public boolean isMouseOver( double x, double y )
-    {
-        return true;
-    }
-
     public static int getWidth( int termWidth )
     {
         return termWidth * FONT_WIDTH + MARGIN * 2;