📄 constants.java
字号:
/*====================================================================*\Constants.javaConstants interface.------------------------------------------------------------------------This file is part of FuncPlotter, a combined Java application and appletfor plotting explicit functions in one variable.Copyright 2005-2007 Andy Morgan-Richards.FuncPlotter is free software: you can redistribute it and/or modify itunder the terms of the GNU General Public License as published by theFree Software Foundation, either version 3 of the License, or (at youroption) any later version.This program is distributed in the hope that it will be useful, butWITHOUT ANY WARRANTY; without even the implied warranty ofMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNUGeneral Public License for more details.You should have received a copy of the GNU General Public License alongwith this program. If not, see <http://www.gnu.org/licenses/>.\*====================================================================*/// PACKAGEpackage gui;//----------------------------------------------------------------------// IMPORTSimport java.awt.Insets;//----------------------------------------------------------------------// CONSTANTS INTERFACEinterface Constants{////////////////////////////////////////////////////////////////////////// Constants//////////////////////////////////////////////////////////////////////// // Component constants int TEXT_FIELD_MARGIN = 3; Insets COMPONENT_INSETS = new Insets( 2, 3, 2, 3 ); // Font names interface FontName { String COMBO_BOX = "COMBO_BOX"; String MAIN = "MAIN"; String TEXT_FIELD = "TEXT_FIELD"; } // Strings String ELLIPSIS_STR = "..."; String OK_STR = "OK"; String CANCEL_STR = "Cancel"; // Command-method prefix String COMMAND_METHOD_PREFIX = "do";}//----------------------------------------------------------------------
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -