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);
}