X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fsession%2FSessionInfo.java;h=340ffd3d2aa9a11aca6bf2ddd58d09d377f593fa;hb=c8496daccfbef15d8d63b448c9999710ea60d71d;hp=0c1063705bf3a6c3284089cc030062f276da7c76;hpb=df8de03f80590dde35f26616db91ad6163007b7e;p=nikiroo-utils.git

diff --git a/src/jexer/session/SessionInfo.java b/src/jexer/session/SessionInfo.java
index 0c10637..340ffd3 100644
--- a/src/jexer/session/SessionInfo.java
+++ b/src/jexer/session/SessionInfo.java
@@ -68,11 +68,20 @@ public interface SessionInfo {
 
     /**
      * Text window width getter
+     *
+     * @return the window width
      */
     public int getWindowWidth();
 
     /**
      * Text window height getter
+     *
+     * @return the window height
      */
     public int getWindowHeight();
+
+    /**
+     * Re-query the text window size
+     */
+    public void queryWindowSize();
 }