X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fsession%2FTSessionInfo.java;h=1575a6c6fcdf4c6b16a8be01890b596395598862;hb=4328bb42c10743287dad5cf045f059ad109eb540;hp=a0dc75ccafd7515e99564de45a5273365fc5daaf;hpb=df8de03f80590dde35f26616db91ad6163007b7e;p=nikiroo-utils.git

diff --git a/src/jexer/session/TSessionInfo.java b/src/jexer/session/TSessionInfo.java
index a0dc75c..1575a6c 100644
--- a/src/jexer/session/TSessionInfo.java
+++ b/src/jexer/session/TSessionInfo.java
@@ -96,6 +96,8 @@ public class TSessionInfo implements SessionInfo {
 
     /**
      * Text window width getter
+     *
+     * @return the window width
      */
     public int getWindowWidth() {
 	return windowWidth;
@@ -103,8 +105,18 @@ public class TSessionInfo implements SessionInfo {
 
     /**
      * Text window height getter
+     *
+     * @return the window height
      */
     public int getWindowHeight() {
 	return windowHeight;
     }
+
+    /**
+     * Re-query the text window size
+     */
+    public void queryWindowSize() {
+	// NOP
+    }
+
 }