X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTWindow.java;fp=src%2Fjexer%2FTWindow.java;h=2855209eda870bb5a5bc44c9d2670585f7400d89;hb=80b1b7b5fb2d8caed97ea9a98b8a844beb00927d;hp=77bd2b31544fe39f9f5f063a4f15df3ce343d66d;hpb=8ab60a33f89f656b71751a45967c79179415f652;p=fanfix.git

diff --git a/src/jexer/TWindow.java b/src/jexer/TWindow.java
index 77bd2b3..2855209 100644
--- a/src/jexer/TWindow.java
+++ b/src/jexer/TWindow.java
@@ -1384,7 +1384,7 @@ public class TWindow extends TWidget {
      * @return true if this window does not want the application-wide mouse
      * cursor drawn over it
      */
-    public final boolean hasHiddenMouse() {
+    public boolean hasHiddenMouse() {
         return hideMouse;
     }