#40 twidget API updates
[fanfix.git] / src / jexer / TWindow.java
index 3f860d636cac5db22e3454f0661acb3efe5ae4e6..b8513c44298e01819e12d2cf5dbf07a18a1bdd02 100644 (file)
@@ -1186,6 +1186,7 @@ public class TWindow extends TWidget {
     /**
      * Activate window (bring to top and receive events).
      */
+    @Override
     public void activate() {
         application.activateWindow(this);
     }