⭐ 欢迎来到虫虫下载站! | 📦 资源下载 📁 资源专辑 ℹ️ 关于我们
⭐ 虫虫下载站

📄 panelsettings.java

📁 jawe的最新版本,基于Java的图形化工作流编辑器。图形化工作流编辑器 。使用JAVA语言开发
💻 JAVA
字号:
/** * 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 + Shift + D
显示快捷键 ?
增大字号 Ctrl + =
减小字号 Ctrl + -