#18 repaint after screen resize

[fanfix.git] / src / jexer / TWindow.java

diff --git a/src/jexer/TWindow.java b/src/jexer/TWindow.java
index 962130560af8c7ed9cd3f9367db389c7b7bbc9a4..cde0113a009b01a26c397b4badf814cb7281532f 100644 (file)
--- a/src/jexer/TWindow.java
+++ b/src/jexer/TWindow.java
@@ -547,6 +547,27 @@ public class TWindow extends TWidget {
     // General behavior -------------------------------------------------------
     // ------------------------------------------------------------------------
 
+    /**
+     * See if this window is undergoing any movement/resize/etc.
+     *
+     * @return true if the window is moving
+     */
+    public boolean inMovements() {
+        if (inWindowResize || inWindowMove || inKeyboardResize) {
+            return true;
+        }
+        return false;
+    }
+
+    /**
+     * Stop any pending movement/resize/etc.
+     */
+    public void stopMovements() {
+        inWindowResize = false;
+        inWindowMove = false;
+        inKeyboardResize = false;
+    }
+
     /**
      * Returns true if this window is modal.
      *
@@ -1384,5 +1405,4 @@ public class TWindow extends TWidget {
         getScreen().hLineXY(x, y, n, ch, attr);
     }
 
-
 }