/* XLogo4Schools - A Logo Interpreter specialized for use in schools, based on XLogo by Loic Le Coq * Copyright (C) 2013 Marko Zivkovic * * Contact Information: marko88zivkovic at gmail dot com * * This program is free software; you can redistribute it and/or modify it * under the terms of the GNU General Public License as published by the Free * Software Foundation; either version 2 of the License, or (at your option) * any later version. 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. You should have received a copy of the * GNU General Public License along with this program; if not, write to the Free * Software Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, * MA 02110-1301, USA. * * * This Java source code belongs to XLogo4Schools, written by Marko Zivkovic * during his Bachelor thesis at the computer science department of ETH Zurich, * in the year 2013 and/or during future work. * * It is a reengineered version of XLogo written by Loic Le Coq, published * under the GPL License at http://xlogo.tuxfamily.org/ * * Contents of this file were entirely written by Marko Zivkovic */ package xlogo.messages; /** * XLogo4Schools keys for the language property files. * Old XLogo keys are not included. * @author Marko */ public class MessageKeys { public static final String WS_SETTINGS_REQUIRE_PW = "ws.settings.require_password"; public static final String WS_SETTINGS_PASSWORD = "ws.settings.password"; public static final String WS_SETTINGS_RETYPE_PW = "ws.settings.retype.password"; public static final String WS_SETTINGS_SAVE_PW = "ws.settings.save.password"; public static final String WS_SETTINGS_WORKSPACE_LABEL = "ws.settings.workspace.label"; public static final String WS_SETTINGS_LOCATION = "ws.settings.location"; public static final String WS_SETTINGS_LANGUAGE = "ws.settings.language"; public static final String WS_SETTINGS_BACKUPS = "ws.settings.backups"; public static final String WS_SETTINGS_USER = "ws.settings.user"; public static final String WS_SETTINGS_ADD = "ws.settings.add"; public static final String WS_SETTINGS_REMOVE = "ws.settings.remove"; public static final String WS_SETTINGS_IMPORT = "ws.settings.import"; public static final String WS_SETTINGS_ENABLE_USER_ACCOUNT_CREATION = "ws.settings.enable.user.account.creation"; public static final String WS_SETTINGS_SAVE_AND_CLOSE = "ws.settings.save.and.close"; public static final String WS_SETTINGS_TITLE = "ws.settings.title"; public static final String WS_SETTINGS_GLOBAL = "ws.settings.global"; public static final String WS_SETTINGS_GLOBAL_SETTINGS = "ws.settings.global.settings"; public static final String WS_SETTINGS_WORKSPACE = "ws.settings.workspace"; public static final String WS_SETTINGS_WORKSPACE_SETTINGS = "ws.settings.workspace.settings"; public static final String WS_SETTINGS_CANNOT_STORE_PW = "ws.settings.cannot.store.pw"; public static final String WS_SETTINGS_PW_MUST_BE_EQUAL = "ws.settings.pw.must.be.equal"; public static final String WS_SETTINGS_VIRTUAL_WS_NOT_STORED = "ws.settings.virtual.ws.not.stored"; public static final String WS_SETTINGS_COULD_NOT_ENTER_WP = "ws.settings.could.not.enter.wp"; public static final String WS_SETTINGS_CREATE_NEW_WP = "ws.settings.create.new.wp"; public static final String WS_SETTINGS_WP_NAME_NOT_EMPTY = "ws.settings.wp.name.non.empty"; public static final String WS_SETTINGS_WP_EXISTS_ALREADY = "ws.settings.wp.exists.already"; public static final String WS_SETTINGS_COULD_NOT_CREATE_DIRECTORY = "ws.settings.could.not.create.directory"; public static final String WS_SETTINGS_NEED_DIR_NOT_FILE = "ws.settings.need.dir.not.file"; public static final String WS_SETTINGS_COULD_NOT_CREATE_WS = "ws.settings.could.not.create.ws"; public static final String WS_SETTINGS_WANT_DELETE_DIR_1 = "ws.settings.want.delete.dir.1"; public static final String WS_SETTINGS_WANT_DELETE_DIR_2 = "ws.settings.want.delete.dir.2"; public static final String WS_SETTINGS_COULD_NOT_ENTER_VIRTUAL_WS = "ws.settings.could.not.enter.virtual.ws"; public static final String WS_SETTINGS_DELETE_FROM_FS = "ws.settings.delete.from.fs"; public static final String WS_SETTINGS_NOT_LEGAL_WS_DIR = "ws.settings.not.legal.ws.dir"; public static final String WS_SETTINGS_ENTER_USER_NAME = "ws.settings.enter.user.name"; public static final String WS_SETTINGS_CREATE_NEW_USER = "ws.settings.create.new.user"; public static final String WS_SETTINGS_USER_EXISTS_ALREADY = "ws.settings.user.exists.already"; public static final String WS_SETTINGS_REMOVE_USER = "ws.settings.remove.user"; public static final String WS_SETTINGS_NOT_LEGAL_USER_DIR = "ws.settings.not.legal.user.dir"; public static final String WS_SETTINGS_CHOOSE_OTHER_NAME = "ws.settings.choose.other.name"; public static final String WS_SETTINGS_NAME_CONFLICT = "ws.settings.name.conflict"; public static final String WS_SETTINGS_COULD_NOT_IMPORT_USER = "ws.settings.could.not.import.user"; public static final String WS_CREATION_PANEL_NAME = "ws.creation.panel.name"; public static final String WS_CREATION_PANEL_LOCATION = "ws.creation.panel.location"; public static final String WS_CREATION_PANEL_BROWSE = "ws.creation.panel.browse"; public static final String WELCOME_WORKSPACE = "welcome.workspace"; public static final String WELCOME_USERNAME = "welcome.username"; public static final String WELCOME_SETTINGS = "welcome.settings"; public static final String WELCOME_ENTER = "welcome.enter"; public static final String WELCOME_TITLE = "welcome.title"; public static final String WELCOME_WRONG_PW = "welcome.wrong.pw"; public static final String WELCOME_ENTER_PW = "welcome.enter.pw"; public static final String WELCOME_COULD_NOT_ENTER_USER = "welcome.could.not.enter.user"; public static final String WS_COULD_NOT_STORE_GC = "storage.could.not.store.gc"; public static final String GERMAN_ENGLISH = "pref.general.abz.german.english"; public static final String WS_SETTINGS_DAMAGED = "ws.settings.damaged"; public static final String WS_PROC_UNINITIALIZED = "procedure.unititialized"; public static final String WS_PROC_EXECUTABLE = "procedure.executable"; public static final String WS_PROC_NOT_EXECUTABLE = "procedure.not.executable"; public static final String WS_PROC_ERROR = "procedure.error"; public static final String ERROR_PROC_DOES_NOT_EXIST = "error.proc.does.not.exist"; public static final String WS_GENERATED_PROCEDURES = "ws.generated.procedure"; public static final String WS_REDEFINE_AMBIG_PROC = "ws.redefine.ambiguous.procedure"; public static final String ERROR_CALL_AMBIG_PROC = "error.call.ambiguous.procedure.name"; public static final String WS_COULD_NOT_CREATE_FILE = "ws.could.not.create.file"; public static final String WS_ERROR_TITLE = "ws.error.title"; public static final String WS_ERROR_COULD_NOT_LOAD_LOGO_FILES = "ws.error.could.not.load.logo.files"; public static final String I_AM_SORRY = "i.am.sorry"; public static final String WS_ERROR_USERDIR_NOT_DIR = "ws.error.userdir.not.dir"; public static final String WS_ERROR_COULD_NOT_STORE_CONFIGS = "ws.error.could.not.store.configs"; public static final String WS_ERROR_COULD_NOT_CREATE_FILE = "ws.error.could.not.create.logo.file"; public static final String NEW_FILE = "new.file"; public static final String CONTEST_ERROR_TITLE = "contest.error.title"; public static final String CONTEST_ERROR_RECORD_FAILED = "contest.error.could.not.record.file"; public static final String CONTEST_MODE_START = "contest.mode.start"; public static final String CONTEST_MODE_STOP = "contest.mode.stop"; public static final String CONTEST_MODE_FILENAME = "contest.mode.filename"; public static final String CONTEST_MODE_BONUS_FILENAME = "contest.mode.bonus.filename"; public static final String CONTEST_COULD_NOT_create = "contest.could.not.create"; public static final String CONTEST_COULD_NOT_STORE_ = "contest.could.not.store"; public static final String WS_FILENAME_EXISTS_ALREADY = "ws.filename.exists.already"; public static final String WS_ATTEMPT_OPEN_INEXISTENT_FILE = "ws.attempt.open.inexistent.file"; public static final String WS_ATTEMPT_CLOSE_NOT_OPEN_FILE = "ws.attempt.close.not.open.file"; public static final String WS_AUTO_SAVE_FAILED = "ws.automatic.save.failed"; public static final String GENERAL_ERROR_TITLE = "general.error.title"; public static final String EDITOR_DISPLAY_PROC_NOT_FOUND = "editor.display.procedure.not.found"; public static final String NAME_ERROR_TITLE = "name.error.dialog.title"; public static final String RENAME_INEXISTENT_FILE = "name.error.rename.inexistent.file"; public static final String EMPTY_NAME = "name.error.empty.name"; public static final String ILLEGAL_NAME = "illegal.name.msg"; public static final String COLOR_BLUE = "color.blue"; public static final String COLOR_DARK = "color.dark"; public static final String COLOR_GRAY = "color.gray"; public static final String COLOR_GREEN = "color.green"; public static final String COLOR_LIGHT = "color.light"; public static final String COLOR_ORANGE = "color.orange"; public static final String COLOR_PURPLE = "color.purple"; public static final String COLOR_RED = "color.red"; public static final String COLOR_YELLOW = "color.yellow"; public static final String LOGO_FILE_HAS_ERROR = "logo.file.has.error"; public static final String ERROR_WHILE_CREATING_EDITOR = "error.while.creating.editor"; public static final String LOGO_ERROR_NO_ERROR = "error.no.error"; public static final String LOGO_ERROR_MISSING_TO = "error.missing.to"; public static final String LOGO_ERROR_MISSING_NAME = "error.missing.name"; public static final String LOGO_ERROR_NAME_IS_NUMBER = "error.name.is.number"; public static final String LOGO_ERROR_NAME_SPECIAL = "error.name.special"; public static final String LOGO_ERROR_VAR_WHITE_AFTER_COLON = "error.var.white.after.colon"; public static final String LOGO_ERROR_VAR_SPECIAL = "error.var.special"; public static final String LOGO_ERROR_VAR_IS_NUMBER = "error.var.is.number"; public static final String LOGO_ERROR_VAR_MISSING_COLON = "error.var.missing.colon"; public static final String LOGO_ERROR_OPT_VAR_BRACKET = "error.opt.var.bracket"; public static final String LOGO_ERROR_VAR_EXTRA_CHARS = "error.var.extra.chars"; public static final String LOGO_ERROR_MISSING_EXPR = "error.missing.expr"; public static final String LOGO_ERROR_MORE_CHARS_AFTER_END = "error.more.chars.after.end"; public static final String LOGO_ERROR_MISSING_END = "error.missing.end"; public static final String LOGO_ERROR_TO_BEFORE_END = "error.to.before.end"; public static final String LOGO_ERROR_NAME_IS_KEY_WORD = "error.name.is.key.word"; public static final String LOGO_ERROR_AMBIGUOUS = "error.procedure.ambiguous"; public static final String HIST_MSG_PROCEDURES_UNDEFINED = "hist.msg.procedures.undefined"; public static final String ERROR_NETWORK_CONTEXT = "error.network.context"; public static final String DIALOG_YES = "dialog.yes"; public static final String DIALOG_NO = "dialog.no"; public static final String US_COULD_NOT_STORE_RECENT_DATA = "us.could.not.store.recent.data"; public static final String WS_DOES_NOT_EXIST = "ws.does.not.exist"; public static final String WS_NOT_A_WORKSPACE_DIRECTORY = "ws.not.a.workspace.dir"; public static final String APP_HELLO = "app.hello"; public static final String FILE_CONTAINS_ERRORS = "file.contains.errors"; public static final String US_IMPORT = "us.import"; public static final String US_EXPORT = "us.export"; public static final String US_SAVE_IMAGE = "us.save.image"; public static final String US_EXPORT_MSG = "us.export.msg"; }