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

diff --git a/src/jexer/session/TSessionInfo.java b/src/jexer/session/TSessionInfo.java
index a0dc75c..4658a0f 100644
--- a/src/jexer/session/TSessionInfo.java
+++ b/src/jexer/session/TSessionInfo.java
@@ -1,34 +1,30 @@
-/**
+/*
  * Jexer - Java Text User Interface
  *
- * Version: $Id$
- *
- * Author: Kevin Lamonte, <a href="mailto:kevin.lamonte@gmail.com">kevin.lamonte@gmail.com</a>
- *
- * License: LGPLv3 or later
+ * The MIT License (MIT)
  *
- * Copyright: This module is licensed under the GNU Lesser General
- * Public License Version 3.  Please see the file "COPYING" in this
- * directory for more information about the GNU Lesser General Public
- * License Version 3.
+ * Copyright (C) 2016 Kevin Lamonte
  *
- *     Copyright (C) 2015  Kevin Lamonte
+ * Permission is hereby granted, free of charge, to any person obtaining a
+ * copy of this software and associated documentation files (the "Software"),
+ * to deal in the Software without restriction, including without limitation
+ * the rights to use, copy, modify, merge, publish, distribute, sublicense,
+ * and/or sell copies of the Software, and to permit persons to whom the
+ * Software is furnished to do so, subject to the following conditions:
  *
- * This program is free software; you can redistribute it and/or
- * modify it under the terms of the GNU Lesser General Public License
- * as published by the Free Software Foundation; either version 3 of
- * the License, or (at your option) any later version.
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
  *
- * This program is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- * General Public License for more details.
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
+ * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+ * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
+ * DEALINGS IN THE SOFTWARE.
  *
- * You should have received a copy of the GNU Lesser General Public
- * License along with this program; if not, see
- * http://www.gnu.org/licenses/, or write to the Free Software
- * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
- * 02110-1301 USA
+ * @author Kevin Lamonte [kevin.lamonte@gmail.com]
+ * @version 1
  */
 package jexer.session;
 
@@ -36,75 +32,87 @@ package jexer.session;
  * TSessionInfo provides a default session implementation.  The username is
  * blank, language is "en_US", with a 80x24 text window.
  */
-public class TSessionInfo implements SessionInfo {
+public final class TSessionInfo implements SessionInfo {
 
     /**
-     * User name
+     * User name.
      */
     private String username = "";
 
     /**
-     * Language
+     * Language.
      */
     private String language = "en_US";
 
     /**
-     * Text window width
+     * Text window width.
      */
     private int windowWidth = 80;
 
     /**
-     * Text window height
+     * Text window height.
      */
     private int windowHeight = 24;
 
     /**
-     * Username getter
+     * Username getter.
      *
      * @return the username
      */
     public String getUsername() {
-	return this.username;
+        return this.username;
     }
 
     /**
-     * Username setter
+     * Username setter.
      *
      * @param username the value
      */
-    public void setUsername(String username) {
-	this.username = username;
+    public void setUsername(final String username) {
+        this.username = username;
     }
 
     /**
-     * Language getter
+     * Language getter.
      *
      * @return the language
      */
     public String getLanguage() {
-	return this.language;
+        return this.language;
     }
 
     /**
-     * Language setter
+     * Language setter.
      *
      * @param language the value
      */
-    public void setLanguage(String language) {
-	this.language = language;
+    public void setLanguage(final String language) {
+        this.language = language;
     }
 
     /**
-     * Text window width getter
+     * Text window width getter.
+     *
+     * @return the window width
      */
     public int getWindowWidth() {
-	return windowWidth;
+        return windowWidth;
     }
 
     /**
-     * Text window height getter
+     * Text window height getter.
+     *
+     * @return the window height
      */
     public int getWindowHeight() {
-	return windowHeight;
+        return windowHeight;
     }
+
+    /**
+     * Re-query the text window size.
+     */
+    public void queryWindowSize() {
+        // NOP
+    }
+
 }