/** * Get the console height. * @return The console height. */ public double getConsoleHeight() { return sp.getProportionalDividerLocation();//sp.getMaximumDividerLocation() - sp.getDividerLocation(); }
/** * Get the console height. * @return The console height. */ public double getConsoleHeight() { return sp.getProportionalDividerLocation();//sp.getMaximumDividerLocation() - sp.getDividerLocation(); }
/** * Save the properties. * @param props */ public IFuture getProperties() { Properties props = new Properties(); props.addProperty(new Property("leftsplit_location", ""+lsplit.getProportionalDividerLocation())); props.addProperty(new Property("mainsplit_location", ""+csplit.getProportionalDividerLocation())); // props.addProperty(new Property("leftsplit_location", ""+lsplit.getDividerLocation())); // props.addProperty(new Property("mainsplit_location", ""+csplit.getDividerLocation())); return new Future(props); }
/** * Save the properties. * @param props */ public IFuture getProperties() { Properties props = new Properties(); props.addProperty(new Property("leftsplit_location", ""+lsplit.getProportionalDividerLocation())); props.addProperty(new Property("mainsplit_location", ""+csplit.getProportionalDividerLocation())); // props.addProperty(new Property("leftsplit_location", ""+lsplit.getDividerLocation())); // props.addProperty(new Property("mainsplit_location", ""+csplit.getDividerLocation())); return new Future(props); }
/** * Advices the panel provide its setting as properties (if any). * This is done on project close or save. */ public IFuture<Properties> getProperties() { Properties props = new Properties(); props.addProperty(new Property("showchars", Boolean.toString(cbshowchars.isSelected()))); props.addProperty(new Property("selected_tab", ""+((JTabbedPane)inner).getSelectedIndex())); props.addProperty(new Property("sph", ""+sph.getProportionalDividerLocation())); props.addProperty(new Property("spv", ""+spv.getProportionalDividerLocation())); return new Future<Properties>(props); }
/** * Advices the panel provide its setting as properties (if any). * This is done on project close or save. */ public IFuture<Properties> getProperties() { Properties props = new Properties(); props.addProperty(new Property("showchars", Boolean.toString(cbshowchars.isSelected()))); props.addProperty(new Property("selected_tab", ""+((JTabbedPane)inner).getSelectedIndex())); props.addProperty(new Property("sph", ""+sph.getProportionalDividerLocation())); props.addProperty(new Property("spv", ""+spv.getProportionalDividerLocation())); return new Future<Properties>(props); }
/** * Save the properties. * @param props */ public IFuture getProperties() { Properties props = new Properties(); props.addProperty(new Property("mainsplit_location", Double.toString(((JSplitPanel)getView()).getProportionalDividerLocation()))); props.addProperty(new Property("tcsplit_location", Double.toString(tcpanel.getProportionalDividerLocation()))); return new Future(props); }
/** * Save the properties. * @param props */ public IFuture getProperties() { Properties props = new Properties(); props.addProperty(new Property("mainsplit_location", Double.toString(((JSplitPanel)getView()).getProportionalDividerLocation()))); props.addProperty(new Property("tcsplit_location", Double.toString(tcpanel.getProportionalDividerLocation()))); return new Future(props); }
/** * Write current state into properties. */ public IFuture<Properties> getProperties() { Properties props = new Properties(); props.addProperty(new Property("autorefresh", ""+autorefresh)); props.addProperty(new Property("sound", ""+sound)); double lp =listpan.getProportionalDividerLocation(); if(lp>0) props.addProperty(new Property("listpan", ""+lp)); double hs = horsplit.getProportionalDividerLocation(); if(hs>0) props.addProperty(new Property("horsplit", ""+hs)); for(String key: notificationsounds.keySet()) { props.addProperty(new Property(key, notificationsounds.get(key))); } return new Future<Properties>(props); }
/** * Write current state into properties. */ public IFuture<Properties> getProperties() { Properties props = new Properties(); props.addProperty(new Property("autorefresh", ""+autorefresh)); props.addProperty(new Property("sound", ""+sound)); double lp =listpan.getProportionalDividerLocation(); if(lp>0) props.addProperty(new Property("listpan", ""+lp)); double hs = horsplit.getProportionalDividerLocation(); if(hs>0) props.addProperty(new Property("horsplit", ""+hs)); for(String key: notificationsounds.keySet()) { props.addProperty(new Property(key, notificationsounds.get(key))); } return new Future<Properties>(props); }
lastdivloc = splitpanel.getProportionalDividerLocation();
lastdivloc = splitpanel.getProportionalDividerLocation();