/** * Creates and returns a new overlay preference store. * * @param parent the parent preference store * @param overlayKeys the overlay keys */ public OverlayPreferenceStore(IPreferenceStore parent, OverlayKey[] overlayKeys) { fParent= parent; fOverlayKeys= overlayKeys; fStore= new PreferenceStore(); }
@Override public void setDefault(String name, double value) { setValue(defaultProperties, name, value); }
@Override public void setValue(String name, String value) { String oldValue = getString(name); if (oldValue == null || !oldValue.equals(value)) { setValue(properties, name, value); dirty = true; firePropertyChangeEvent(name, oldValue, value); } }
public void setValue(String name, boolean value) { boolean oldValue = getBoolean(name); if (oldValue != value) { setValue(properties, name, value); dirty = true; firePropertyChangeEvent(name, oldValue ? Boolean.TRUE : Boolean.FALSE, value ? Boolean.TRUE : Boolean.FALSE); } }
PreferenceStore store= new PreferenceStore(); String defaultEncoding= ResourcesPlugin.getEncoding(); store.setDefault(PREF_SPELLING_USER_DICTIONARY_ENCODING.getName(), defaultEncoding); String encoding= getValue(PREF_SPELLING_USER_DICTIONARY_ENCODING); if (encoding != null && encoding.length() > 0) store.setValue(PREF_SPELLING_USER_DICTIONARY_ENCODING.getName(), encoding);
tools.setupJavaDocumentPartitioner( fPreviewDocument, IJavaPartitions.JAVA_PARTITIONING); PreferenceStore prioritizedSettings= new PreferenceStore(); prioritizedSettings.setValue(JavaCore.COMPILER_SOURCE, JavaCore.VERSION_1_5); prioritizedSettings.setValue(JavaCore.COMPILER_COMPLIANCE, JavaCore.VERSION_1_5); prioritizedSettings.setValue(JavaCore.COMPILER_CODEGEN_TARGET_PLATFORM, JavaCore.VERSION_1_5); prioritizedSettings.setValue(JavaCore.COMPILER_PB_ASSERT_IDENTIFIER, JavaCore.ERROR);
tsPrefStore = new PreferenceStore(prefFile.getName()); try { tsPrefStore.load(prefFile.getContents()); // TODO: Close stream! } catch (IOException e) { tsPrefStore = new PreferenceStore(prefFile.getName()); for (AnnotationStyle style : dotCorpus.getAnnotationStyles()) { AnnotationStyle.putAnnotatationStyleToStore(tsPrefStore, style); tsPrefStore.putValue(shownType + ".isShown", "true"); tsPrefStore.save(prefOut, ""); } catch (IOException e) { tsPrefStore = new PreferenceStore(prefFile.getName()); PreferenceStore newStore = new PreferenceStore(); sessionPreferenceStores.put(getTypesystemId(element), newStore); newStore.addPropertyChangeListener(new SaveSessionPreferencesTrigger(element)); newStore.load(new ByteArrayInputStream(sessionPreferenceString.getBytes("UTF-8"))); } catch (IOException e) { CasEditorPlugin.log(e);
private void copy(PreferenceStore store) { try { File file = File.createTempFile("sset", null); //$NON-NLS-1$ FileOutputStream fos = new FileOutputStream(file); store.save(fos, ""); //$NON-NLS-1$ fos.close(); FileInputStream fis = new FileInputStream(file); getPreferenceStore(); preferenceStore.load(fis); //when we clone the defult set, we should //clear the default marker preferenceStore.setValue(KEY_DEFAULT, false); fis.close(); } catch (IOException e) { } } /**
@Override public String getString(String name) { return getString(properties, name); }
public void setValue(String name, long value) { long oldValue = getLong(name); if (oldValue != value) { setValue(properties, name, value); dirty = true; firePropertyChangeEvent(name, new Long(oldValue), new Long(value)); } }
public void setValue(String name, float value) { float oldValue = getFloat(name); if (oldValue != value) { setValue(properties, name, value); dirty = true; firePropertyChangeEvent(name, new Float(oldValue), new Float(value)); } }
@Override public void setValue(String name, int value) { int oldValue = getInt(name); if (oldValue != value) { setValue(properties, name, value); dirty = true; firePropertyChangeEvent(name, Integer.valueOf(oldValue), Integer.valueOf(value)); } }
@Override public void setValue(String name, double value) { double oldValue = getDouble(name); if (oldValue != value) { setValue(properties, name, value); dirty = true; firePropertyChangeEvent(name, Double.valueOf(oldValue), Double.valueOf(value)); } }
public IPreferenceStore getPreferenceStore() { if (preferenceStore==null) { preferenceStore = new PreferenceStore(getFileName(this.name)); try { File file = new File(getFileName(this.name)); if (file.exists()) { preferenceStore.load(); } } catch (IOException e) { String message = Messages.bind(Messages.ScopeSet_errorLoading, name); HelpUIPlugin.logError(message, e); } } return preferenceStore; }
PreferenceStore store = new PreferenceStore(); FieldEditor field = null; if (arg instanceof Connector.IntegerArgument) { store.setDefault(arg.name(), ((Connector.IntegerArgument)arg).intValue()); field = new IntegerFieldEditor(arg.name(), getLabel(arg.label()), fArgumentComposite); } else if (arg instanceof Connector.SelectedArgument) { count++; store.setDefault(arg.name(), arg.value()); field = new ComboFieldEditor(arg.name(), getLabel(arg.label()), namesAndValues, fArgumentComposite); } else if (arg instanceof Connector.StringArgument) { store.setDefault(arg.name(), arg.value()); field = new StringFieldEditor(arg.name(), getLabel(arg.label()), fArgumentComposite); } else if (arg instanceof Connector.BooleanArgument) { store.setDefault(arg.name(), ((Connector.BooleanArgument)arg).booleanValue()); field = new BooleanFieldEditor(arg.name(), getLabel(arg.label()), fArgumentComposite);
public void save() { getPreferenceStore(); if (preferenceStore.needsSaving() || needsSaving) { try { if (defaultSet != -1) preferenceStore.setValue(KEY_DEFAULT, defaultSet>0); preferenceStore.save(); needsSaving = false; } catch (IOException e) { String message = Messages.bind(Messages.ScopeSet_errorSaving, name); HelpUIPlugin.logError(message, e); } } }
@Override public final boolean performOk() { int changed = 0; for (String prefKey : internalStore.preferenceNames()) { if (!internalStore.isDefault(prefKey)) { masterPreferenceStore.putValue(prefKey, internalStore.getString(prefKey)); changed++; } else { masterPreferenceStore.setToDefault(prefKey); changed++; } } if (changed > 0) masterPreferenceStore.firePropertyChangeEvent(getPreferencePrefix(), null, null); resetPreferenceStore(); return true; }
/** * Saves the non-default-valued preferences known to this preference store * to the file from which they were originally loaded. * * @exception java.io.IOException * if there is a problem saving this store */ public void save() throws IOException { if (filename == null) { throw new IOException("File name not specified");//$NON-NLS-1$ } FileOutputStream out = null; try { out = new FileOutputStream(filename); save(out, null); } finally { if (out != null) { out.close(); } } }
/** * Loads this preference store from the file established in the constructor * <code>PreferenceStore(java.lang.String)</code> (or by * <code>setFileName</code>). Default preference values are not affected. * * @exception java.io.IOException * if there is a problem loading this store */ public void load() throws IOException { if (filename == null) { throw new IOException("File name not specified");//$NON-NLS-1$ } FileInputStream in = new FileInputStream(filename); load(in); in.close(); }