/** * Load the properties. * @param props */ public IFuture setProperties(Properties props) { double dl = props.getDoubleProperty("tcsplit_location"); if(dl!=0) { tcpanel.setDividerLocation(dl); tcpanel.setResizeWeight(dl); } dl = props.getDoubleProperty("mainsplit_location"); if(dl!=0) { ((JSplitPane)getView()).setDividerLocation(dl); ((JSplitPane)getView()).setResizeWeight(dl); } return IFuture.DONE; }
/** * Load the properties. * @param props */ public IFuture setProperties(Properties props) { double dl = props.getDoubleProperty("tcsplit_location"); if(dl!=0) { tcpanel.setDividerLocation(dl); tcpanel.setResizeWeight(dl); } dl = props.getDoubleProperty("mainsplit_location"); if(dl!=0) { ((JSplitPane)getView()).setDividerLocation(dl); ((JSplitPane)getView()).setResizeWeight(dl); } return IFuture.DONE; }
/** * Advices the the panel to restore its properties from the argument */ public IFuture<Void> setProperties(Properties props) { cbshowchars.setSelected(props.getBooleanProperty("showchars")); ((JTabbedPane)inner).setSelectedIndex(props.getIntProperty("selected_tab")); if(props.getProperty("sph")!=null) sph.setDividerLocation(props.getDoubleProperty("sph")); if(props.getProperty("spv")!=null) spv.setDividerLocation(props.getDoubleProperty("spv")); return IFuture.DONE; }
/** * Advices the the panel to restore its properties from the argument */ public IFuture<Void> setProperties(Properties props) { cbshowchars.setSelected(props.getBooleanProperty("showchars")); ((JTabbedPane)inner).setSelectedIndex(props.getIntProperty("selected_tab")); if(props.getProperty("sph")!=null) sph.setDividerLocation(props.getDoubleProperty("sph")); if(props.getProperty("spv")!=null) spv.setDividerLocation(props.getDoubleProperty("spv")); 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; }
/** * 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; }
double lp = props.getDoubleProperty("listpan"); if(lp!=0) double hs = props.getDoubleProperty("horsplit"); if(hs!=0)
double lp = props.getDoubleProperty("listpan"); if(lp!=0) double hs = props.getDoubleProperty("horsplit"); if(hs!=0)
/** * Update from given properties. */ public IFuture<Void> setProperties(Properties props) { // Do not change clock when explicitly started in specific mode if(simulation==null) { String type = props.getStringProperty("type"); long delta = props.getLongProperty("delta"); double dilation = props.getDoubleProperty("dilation"); setClock(type, threadpool); clock.setDelta(delta); if(clock instanceof ContinuousClock) ((ContinuousClock)clock).setDilation(dilation); } return IFuture.DONE; }
/** * Update from given properties. */ public IFuture<Void> setProperties(Properties props) { // Do not change clock when explicitly started in specific mode if(simulation==null) { String type = props.getStringProperty("type"); long delta = props.getLongProperty("delta"); double dilation = props.getDoubleProperty("dilation"); setClock(type, threadpool); clock.setDelta(delta); if(clock instanceof ContinuousClock) ((ContinuousClock)clock).setDilation(dilation); } return IFuture.DONE; }
/** * Update from given properties. */ public IFuture<Void> setProperties(Properties props) { // Do not change clock when explicitly started in specific mode if(simulation==null) { String type = props.getStringProperty("type"); long delta = props.getLongProperty("delta"); double dilation = props.getDoubleProperty("dilation"); String oldstate = clock.getState(); setClock(type, threadpool); clock.setDelta(delta); if(clock instanceof ContinuousClock) ((ContinuousClock)clock).setDilation(dilation); if(IClock.STATE_RUNNING.equals(oldstate)) { clock.start(); } } return IFuture.DONE; }