1575a6c6fcdf4c6b16a8be01890b596395598862
2 * Jexer - Java Text User Interface
6 * Author: Kevin Lamonte, <a href="mailto:kevin.lamonte@gmail.com">kevin.lamonte@gmail.com</a>
8 * License: LGPLv3 or later
10 * Copyright: This module is licensed under the GNU Lesser General
11 * Public License Version 3. Please see the file "COPYING" in this
12 * directory for more information about the GNU Lesser General Public
15 * Copyright (C) 2015 Kevin Lamonte
17 * This program is free software; you can redistribute it and/or
18 * modify it under the terms of the GNU Lesser General Public License
19 * as published by the Free Software Foundation; either version 3 of
20 * the License, or (at your option) any later version.
22 * This program is distributed in the hope that it will be useful, but
23 * WITHOUT ANY WARRANTY; without even the implied warranty of
24 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
25 * General Public License for more details.
27 * You should have received a copy of the GNU Lesser General Public
28 * License along with this program; if not, see
29 * http://www.gnu.org/licenses/, or write to the Free Software
30 * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA
33 package jexer
.session
;
36 * TSessionInfo provides a default session implementation. The username is
37 * blank, language is "en_US", with a 80x24 text window.
39 public class TSessionInfo
implements SessionInfo
{
44 private String username
= "";
49 private String language
= "en_US";
54 private int windowWidth
= 80;
59 private int windowHeight
= 24;
64 * @return the username
66 public String
getUsername() {
73 * @param username the value
75 public void setUsername(String username
) {
76 this.username
= username
;
82 * @return the language
84 public String
getLanguage() {
91 * @param language the value
93 public void setLanguage(String language
) {
94 this.language
= language
;
98 * Text window width getter
100 * @return the window width
102 public int getWindowWidth() {
107 * Text window height getter
109 * @return the window height
111 public int getWindowHeight() {
116 * Re-query the text window size
118 public void queryWindowSize() {