📄 jremenvsettings.java
字号:
/* * JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com> * See COPYING */package fildiv.jremcntl.server.core;public class JRemEnvSettings { public static final String START_SERVER_ON_STARTUP = "startup.startServerOnStartup"; public static final String RELOAD_LAST_CONFIG_ON_STARTUP = "startup.reloadLastConfig"; public static final String LAST_CONFIG_FILE_PATH = "startup.lastConfigFilePath"; public static final String SERVER_SHOW_OUTPUT = "server.showOutput"; public static final String SERVER_SHOW_STD_OUTPUT = "server.showStdOutput"; public static final String SERVER_SHOW_STD_ERROR = "server.showStdError"; public static final String SERVER_SUPPRESS_OPUTPUT_WHEN_GUI_NOT_VISIBLE = "gui.suppressOutputWhenMinimized"; public static final String MINIMIZE_GUI_ON_CONNECT = "gui.restoreOnConnect"; public static final String RESTORE_GUI_ON_ERROR = "gui.restoreOnError"; public static final String RESTORE_GUI_ON_CMD_ERROR = "gui.restoreCmdOnError"; public static final String RESTORE_GUI_SWITCH_AUT_SERVER_OUT = "gui.switchAutServerOut"; public static final String RESTORE_GUI_MINIMIZE_IN_TRAY = "gui.minimizeInTray";}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -