public void setDefaultSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("icons.size"); else BuPreferences.BU.putIntegerProperty("icons.size",_v); }
public void setDefaultToolSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("icons.toolsize"); else BuPreferences.BU.putIntegerProperty("icons.toolsize",_v); }
public void setDefaultButtonSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("icons.buttonsize"); else BuPreferences.BU.putIntegerProperty("icons.buttonsize",_v); }
public void setDefaultTabSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("icons.tabsize"); else BuPreferences.BU.putIntegerProperty("icons.tabsize",_v); }
public void setDefaultCursorSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("cursors.size"); else BuPreferences.BU.putIntegerProperty("cursors.size",_v); }
public void setDefaultMenuSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("icons.menusize"); else BuPreferences.BU.putIntegerProperty("icons.menusize",_v); }
public void setDefaultFrameSize(int _v) { if(_v<=0) BuPreferences.BU.removeProperty("icons.framesize"); else BuPreferences.BU.putIntegerProperty("icons.framesize",_v); }
public void exit() { if (confirmExit()) { if (BuPreferences.BU.getIntegerProperty("window.size") == 2) { Point p = getLocation(); Dimension d = getSize(); BuPreferences.BU.putIntegerProperty("window.x", p.x); BuPreferences.BU.putIntegerProperty("window.y", p.y); BuPreferences.BU.putIntegerProperty("window.w", d.width); BuPreferences.BU.putIntegerProperty("window.h", d.height); } BuPreferences.BU.writeIniFile(); // if(DEBUG) // FuLog.debug("BAN: try to unregister with "+BuRegistry.getInstance()); BuRegistry.unregister(this); // if(FuLib.isJDistroRunning()) // System.exit(0); } // else if(DEBUG) FuLog.debug("BAN: exit *NOT* confirmed"); }
getPrefs().putIntegerProperty(NOM_VARIABLE, nombreLigneLu); getPrefs().writeIniFile();
/** * Enregistre les preferences dans FudaaPreferences mais n'ecrit pas le fichier de pref. */ public void saveFavorites() { final int nb = BuPreferences.BU.getIntegerProperty(PREF_NB, -1); if (nb < 0) { for (final Enumeration e = BuPreferences.BU.keys(); e.hasMoreElements();) { final String k = (String) e.nextElement(); if (k.startsWith(PREF_ID)) { BuPreferences.BU.removeProperty(k); } } } else { for (int i = 1; i <= nb; i++) { BuPreferences.BU.removeProperty(PREF_ID + i + SUF_ID); } } final int n = list_.size(); int idxN = 0; for (int i = 0; i < n; i++) { final String key = PREF_ID + CtuluLibString.getString(idxN + 1) + SUF_ID; final String val = (String) list_.get(i); final File f = new File(val); if (f.exists() && f.isDirectory()) { BuPreferences.BU.putStringProperty(key, val); idxN++; } } BuPreferences.BU.putIntegerProperty(PREF_NB, idxN); }
private void fillTable() { Object o; o=liGenDeskDecor_.getSelectedItem(); o=(o==null) ? "DESKTOP_UNIFORME" : optionsStr_.get(o); options_.putStringProperty("desktop.decor",o.toString()); o=liGenDeskTexture_.getSelectedItem(); o=(o==null) ? "DESKTOP_TEXTURE1" : optionsStr_.get(o); options_.putStringProperty("desktop.texture",o.toString()); o=liGenDeskCouleur_.getSelectedItem(); o=(o==null) ? "DESKTOP_DEFAUT" : optionsStr_.get(o); options_.putStringProperty("desktop.background",o.toString()); o=liGenAspAspect_.getSelectedItem(); o=(o==null) ? "ASPECT_DEFAUT" : optionsStr_.get(o); options_.putStringProperty("lookandfeel.name",o.toString()); o=liGenAspMetal_.getSelectedItem(); o=(o==null) ? "THEME_METAL0" : optionsStr_.get(o); options_.putStringProperty("metal.theme",o.toString()); o=liGenAspSlaf_.getSelectedItem(); o=(o==null) ? "default" : optionsStr_.get(o); options_.putStringProperty("slaf.theme",o.toString()); options_.putStringProperty("skinlf.theme",tfGenAspSkinlf_.getText()); options_.putStringProperty("oyoaha.theme",tfGenAspOyoaha_.getText()); options_.putIntegerProperty("lookandfeel.fontscale",slFont_.getValue()); setDirty(false); }
private void fillTable() { options_.putStringProperty("directory.open",tfDirOpen_.getText()); options_.putStringProperty("directory.save",tfDirSave_.getText()); options_.putIntegerProperty ("window.size",chWinSize_.getSelectedIndex()); setDirty(false); }
private void fillTable() { int type=1; String exec=""; if(cbInterne_.isSelected()) { type=1; exec=options_.getStringProperty("browser.exec"); } if(cbExterne_.isSelected()) { type=2; exec=(String)chBrowser_.getSelectedItem(); } if(cbPerso_.isSelected()) { type=3; exec=tfPerso_.getText(); } options_.putIntegerProperty("browser.type",type); options_.putStringProperty ("browser.exec",exec); setDirty(false); }