X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2Fsession%2FTSessionInfo.java;h=9fc56764fd43c1c7cc4697118c05ce5e530e365e;hb=7b5261bc5b641e0769902f014e3b21f61050b02b;hp=1575a6c6fcdf4c6b16a8be01890b596395598862;hpb=9edb442b712de01d1b7af81d1d57a29c2c6e7871;p=nikiroo-utils.git diff --git a/src/jexer/session/TSessionInfo.java b/src/jexer/session/TSessionInfo.java index 1575a6c..9fc5676 100644 --- a/src/jexer/session/TSessionInfo.java +++ b/src/jexer/session/TSessionInfo.java @@ -1,16 +1,11 @@ /** * Jexer - Java Text User Interface * - * Version: $Id$ - * - * Author: Kevin Lamonte, kevin.lamonte@gmail.com - * * 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 * @@ -29,6 +24,9 @@ * 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,87 +34,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 + * Re-query the text window size. */ public void queryWindowSize() { - // NOP + // NOP } }