/**
* 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
*
- * 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.
+ * 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) 2015 Kevin Lamonte
*
* 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;
public interface SessionInfo {
/**
- * Username getter
+ * Username getter.
*
* @return the username
*/
public String getUsername();
/**
- * Username setter
+ * Username setter.
*
* @param username the value
*/
public void setUsername(String username);
/**
- * Language getter
+ * Language getter.
*
* @return the language
*/
public String getLanguage();
/**
- * Language setter
+ * Language setter.
*
* @param language the value
*/
public void setLanguage(String language);
/**
- * Text window width getter
+ * Text window width getter.
+ *
+ * @return the window width
*/
public int getWindowWidth();
/**
- * Text window height getter
+ * Text window height getter.
+ *
+ * @return the window height
*/
public int getWindowHeight();
+
+ /**
+ * Re-query the text window size.
+ */
+ public void queryWindowSize();
}