X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fbackend%2FTSessionInfo.java;h=11c0faa6db735372a986dd1006d1385bdb2b89d2;hb=051e29138b18fb4b731a72f8727475b10e4c74e4;hp=880098d7aa5e07ddb11f18fdc782f4722c70e770;hpb=42873e30bf487bc0b695d60652dba44f82185dbb;p=fanfix.git

diff --git a/src/jexer/backend/TSessionInfo.java b/src/jexer/backend/TSessionInfo.java
index 880098d..11c0faa 100644
--- a/src/jexer/backend/TSessionInfo.java
+++ b/src/jexer/backend/TSessionInfo.java
@@ -32,7 +32,11 @@ package jexer.backend;
  * TSessionInfo provides a default session implementation.  The username is
  * blank, language is "en_US", with a 80x24 text window.
  */
-public final class TSessionInfo implements SessionInfo {
+public class TSessionInfo implements SessionInfo {
+
+    // ------------------------------------------------------------------------
+    // Variables --------------------------------------------------------------
+    // ------------------------------------------------------------------------
 
     /**
      * User name.
@@ -54,6 +58,32 @@ public final class TSessionInfo implements SessionInfo {
      */
     private int windowHeight = 24;
 
+    // ------------------------------------------------------------------------
+    // Constructors -----------------------------------------------------------
+    // ------------------------------------------------------------------------
+
+    /**
+     * Public constructor.
+     */
+    public TSessionInfo() {
+        this(80, 24);
+    }
+
+    /**
+     * Public constructor.
+     *
+     * @param width the number of columns
+     * @param height the number of rows
+     */
+    public TSessionInfo(final int width, final int height) {
+        this.windowWidth        = width;
+        this.windowHeight       = height;
+    }
+
+    // ------------------------------------------------------------------------
+    // SessionInfo ------------------------------------------------------------
+    // ------------------------------------------------------------------------
+
     /**
      * Username getter.
      *