public void run() { historyPage.store.setValue(prefName, isChecked()); if (historyPage.store.needsSaving()) try { historyPage.store.save(); } catch (IOException e) { Activator.handleError(e.getMessage(), e, false); } }
public void run() { store.setValue(prefName, isChecked()); if (store.needsSaving()) try { store.save(); } catch (IOException e) { Activator.handleError(e.getMessage(), e, false); } }
public void run() { historyPage.store.setValue( UIPreferences.RESOURCEHISTORY_SHOW_FINDTOOLBAR, isChecked()); if (historyPage.store.needsSaving()) try { historyPage.store.save(); } catch (IOException e) { Activator.handleError(e.getMessage(), e, false); } historyPage.layout(); } };
public void widgetDisposed(DisposeEvent e) { final int[] w = sf.getWeights(); store.putValue(key, UIPreferences.intArrayToString(w)); if (store.needsSaving()) try { store.save(); } catch (IOException e1) { Activator.handleError(e1.getMessage(), e1, false); } } });
public void widgetSelected(SelectionEvent e) { store.setValue(UIPreferences.FINDTOOLBAR_IGNORE_CASE, caseItem.getSelection()); if (store.needsSaving()){ try { store.save(); } catch (IOException e1) { Activator.handleError(e1.getMessage(), e1, false); } } clear(); } });
private void prefsItemChanged(int findin, MenuItem item) { store.setValue(UIPreferences.FINDTOOLBAR_FIND_IN, findin); if (store.needsSaving()){ try { store.save(); } catch (IOException e) { Activator.handleError(e.getMessage(), e, false); } } commitIdItem.setSelection(false); commentsItem.setSelection(false); authorItem.setSelection(false); committerItem.setSelection(false); item.setSelection(true); clear(); }