/** * Load the properties. */ public IFuture setProperties(Properties props) { double dl = props.getDoubleProperty("leftsplit_location"); if(dl>0) { lsplit.setDividerLocation(dl); lsplit.setResizeWeight(dl); } dl = props.getDoubleProperty("mainsplit_location"); if(dl>0) { csplit.setDividerLocation(dl); csplit.setResizeWeight(dl); } // SGUI.setDividerLocation(lsplit, props.getIntProperty("leftsplit_location")); // SGUI.setDividerLocation(csplit, props.getIntProperty("mainsplit_location")); return IFuture.DONE; }
/** * Load the properties. */ public IFuture setProperties(Properties props) { double dl = props.getDoubleProperty("leftsplit_location"); if(dl!=0) { lsplit.setDividerLocation(dl); lsplit.setResizeWeight(dl); } dl = props.getDoubleProperty("mainsplit_location"); if(dl!=0) { csplit.setDividerLocation(dl); csplit.setResizeWeight(dl); } // SGUI.setDividerLocation(lsplit, props.getIntProperty("leftsplit_location")); // SGUI.setDividerLocation(csplit, props.getIntProperty("mainsplit_location")); return IFuture.DONE; }
/** * Create a new control center window. */ public PlatformControlCenterPanel(PlatformControlCenter controlcenter) { super(new BorderLayout()); this.controlcenter = controlcenter; this.consoleheights = new HashMap(); clayout = new CardLayout(); content = new JPanel(clayout); this.console = new ConsolePanel(controlcenter.getPlatformAccess(), controlcenter.getJCCAccess()); console.setConsoleEnabled(false); this.sp = new JSplitPanel(JSplitPane.VERTICAL_SPLIT); sp.setOneTouchExpandable(true); sp.setDividerLocation(0.0); // sp.setDividerLocation(200); content.setMinimumSize(new Dimension(0,0)); console.setMinimumSize(new Dimension(0,0)); sp.add(content); sp.add(console); this.add("Center", sp); sp.setResizeWeight(1.0); }
/** * Create a new control center window. */ public PlatformControlCenterPanel(PlatformControlCenter controlcenter) { super(new BorderLayout()); this.controlcenter = controlcenter; this.consoleheights = new HashMap(); clayout = new CardLayout(); content = new JPanel(clayout); this.console = new ConsolePanel(controlcenter.getPlatformAccess(), controlcenter.getJCCAccess()); console.setConsoleEnabled(false); this.sp = new JSplitPanel(JSplitPane.VERTICAL_SPLIT); sp.setOneTouchExpandable(true); sp.setDividerLocation(0.0); // sp.setDividerLocation(200); content.setMinimumSize(new Dimension(0,0)); console.setMinimumSize(new Dimension(0,0)); sp.add(content); sp.add(console); this.add("Center", sp); sp.setResizeWeight(1.0); }
listpan.setDividerLocation(0.5); listpan.setOneTouchExpandable(true); listpan.setResizeWeight(1);
listpan.setDividerLocation(0.5); listpan.setOneTouchExpandable(true); listpan.setResizeWeight(1);
tmp2.setDividerLocation(0.8); tmp2.setOneTouchExpandable(true); tmp2.setResizeWeight(1); sp.setDividerLocation(0.8); sp.setOneTouchExpandable(true); sp.setResizeWeight(1);
lsplit.setResizeWeight(0.7); lsplit.setResizeWeight(0.7); lsplit.setDividerLocation(0.7); csplit.add(spanel); csplit.setResizeWeight(0.3); csplit.setDividerLocation(0.3);
lsplit.setResizeWeight(0.7); lsplit.setResizeWeight(0.7); lsplit.setDividerLocation(0.7); csplit.add(spanel); csplit.setResizeWeight(0.3); csplit.setDividerLocation(0.3);
JSplitPanel mainpanel = new JSplitPanel(JSplitPane.HORIZONTAL_SPLIT); mainpanel.setOneTouchExpandable(true); mainpanel.setResizeWeight(0.3); mainpanel.setDividerLocation(0.3);
JSplitPanel mainpanel = new JSplitPanel(JSplitPane.HORIZONTAL_SPLIT); mainpanel.setOneTouchExpandable(true); mainpanel.setResizeWeight(0.3); mainpanel.setDividerLocation(0.3);