panelsettings.java
来自「jawe的最新版本,基于Java的图形化工作流编辑器。图形化工作流编辑器 。使用」· Java 代码 · 共 108 行
JAVA
108 行
/** * Miroslav Popov, Dec 5, 2005 * miroslav.popov@gmail.com */package org.enhydra.jawe.base.panel;import java.awt.Color;import javax.swing.ImageIcon;import org.enhydra.jawe.JaWEComponentSettings;/** * @author Miroslav Popov * */public abstract class PanelSettings extends JaWEComponentSettings { public boolean useScrollBar() { return ((Boolean) componentSettings.get("UseScrollBar")).booleanValue(); } public boolean shouldXMLBasicPanelUseRightAllignment() { return ((Boolean) componentSettings.get("XMLBasicPanel.RightAllignment")).booleanValue(); } public boolean doesXMLDataTypesPanelHasBorder() { return ((Boolean) componentSettings.get("XMLDataTypesPanel.HasBorder")).booleanValue(); } public boolean shouldShowModifiedWarning() { return ((Boolean) componentSettings.get("ShowModifiedWarning")).booleanValue(); } public boolean shouldDisplayTitle() { return ((Boolean) componentSettings.get("DisplayTitle")).booleanValue(); } public int getEmptyBorderTop() { return ((Integer) componentSettings.get("EmptyBorder.TOP")).intValue(); } public int getEmptyBorderLeft() { return ((Integer) componentSettings.get("EmptyBorder.LEFT")).intValue(); } public int getEmptyBorderBottom() { return ((Integer) componentSettings.get("EmptyBorder.BOTTOM")).intValue(); } public int getEmptyBorderRight() { return ((Integer) componentSettings.get("EmptyBorder.RIGHT")).intValue(); } public int getSimplePanelTextWidth() { return ((Integer) componentSettings.get("SimplePanelTextWidth")).intValue(); } public int getSimplePanelTextHeight() { return ((Integer) componentSettings.get("SimplePanelTextHeight")).intValue(); } public int getXMLDataTypesPanelWidth() { return ((Integer) componentSettings.get("XMLDataTypesPanel.Dimension.WIDTH")).intValue(); } public int getXMLDataTypesPanelHeight() { return ((Integer) componentSettings.get("XMLDataTypesPanel.Dimension.HEIGHT")).intValue(); } public String disableComboInXMLComboPanelFor() { return (String) componentSettings.get("XMLComboPanel.DisableCombo"); } public ImageIcon getArrowRightImageIcon() { return (ImageIcon) componentSettings.get("ArrowRightImage"); } public ImageIcon getArrowUpImageIcon() { return (ImageIcon) componentSettings.get("ArrowUpImage"); } public ImageIcon getArrowDownImageIcon() { return (ImageIcon) componentSettings.get("ArrowDownImage"); } public ImageIcon getInsertVariableDefaultIcon() { return (ImageIcon) componentSettings.get("InsertVariableDefault"); } public ImageIcon getInsertVariablePressedIcon() { return (ImageIcon) componentSettings.get("InsertVariablePressed"); } public String historyManagerClass () { return (String) componentSettings.get("HistoryManager.Class"); } public int historySize () { return ((Integer) componentSettings.get("HistorySize")).intValue(); } public Color getBackgroundColor() { return (Color) componentSettings.get("BackgroundColor"); } }
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?