public void update() { if (fTargetEditor == null) return; IPreferenceStore prefStore = ColorerPlugin.getDefault().getPreferenceStore(); int ww = ColorerPlugin.getDefault() .getPropertyWordWrap(fTargetEditor.getTextColorer().getFileType()); if (ww == -1) { ww = prefStore.getBoolean(PreferencePage.WORD_WRAP) ? 1 : 0; } setChecked(ww == 1); }
public void run() { ColorerPlugin.getDefault() .setPropertyWordWrap(fTargetEditor.getTextColorer().getFileType(), isChecked() ? 1 : 0); }