📄 messages.properties
字号:
ERR_ADMIN_INSUFFICIENT_RIGHTS_0 =You don't have the permission to view this dialog.
GUI_ADMIN_VIEW_LOADING_0 =Please wait.<br>Loading ...
GUI_ADMIN_VIEW_UPLEVEL_0 =Up
GUI_TOOLS_DEFAULT_NAME_0 =Edit your NavText property
GUI_TOOLS_DEFAULT_HELP_0 =No help text available - Edit your Description property.
GUI_TOOLS_DEFAULT_GROUP_0 =My Tools
GUI_TOOLS_DISABLED_HELP_0 =This tool is currently disabled.
GUI_TOOLS_DISABLED_ONLINE_HELP_0 =This tool is not available for the Online project.
GUI_ADMIN_VIEW_ROOT_NAME_0 =Administration View
GUI_ADMIN_VIEW_ROOT_HELP_0 =This is the main administration view.
GUI_EXPLORER_VIEW_ROOT_NAME_0 =Explorer
GUI_EXPLORER_VIEW_ROOT_HELP_0 =This is the list of files view.
GUI_EMPTY_MESSAGE_0 =
INIT_TOOLMANAGER_CREATED_0 =. Tool Manager config : Tool Manager is being initialized
INIT_TOOLMANAGER_ROOT_SKIPPED_2 =. Tool Manager config : Tool Manager skipped root {0}, since resource {1} does not exist.
INIT_TOOLMANAGER_NEWTOOL_FOUND_2 =. Tool Manager config : new path {0} tool found at {1}
INIT_TOOLMANAGER_TOOL_SETUP_ERROR_1 =. Tool Manager config : error during setting up tool at {0}.
INIT_TOOLMANAGER_SETUP_ERROR_1 =. Tool Manager config : unknown error during configuration of the {0} tool root.
INIT_TOOLMANAGER_SETUP_1 =. Tool Manager config : Successful configuration of the {0} tool root
INIT_TOOLMANAGER_INCONSISTENT_PATH_2=. Tool Manager config : inconsistent install path {0} for tool at {1}.
INIT_TOOLMANAGER_INSTALL_ERROR_2 =. Tool Manager config : exception while installing path {0} for tool at {1}. Your tool handler throws an exception while checking the enabled or visible states. Please debug your tool handler.
INIT_TOOLMANAGER_DUPLICATED_ERROR_3 =. Tool Manager config : duplicated path {0} for tool at {1}, other tool at {2} is already installed on that path.
LOG_MISSING_TOOL_HANDLER_2 =No tool handler for tool "{0}" on path "{1}" assigned.
LOG_MISSING_ADMIN_TOOL_1 =No admin tool for path "{0}" has been assigned.
GUI_HISTORY_0 =History
GUI_DIFF_TOOL_NAME_0 =Element Difference
GUI_DIFF_NAVBAR_0 =Difference between versions ${param.version1} and ${param.version2}
GUI_COMPARE_TOOL_NAME_0 =File Comparison
GUI_COMPARE_NAVBAR_0 =Comparison of versions ${param.version1} and ${param.version2}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -