Example #1
0
 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);
 }
Example #2
0
 public void run() {
   ColorerPlugin.getDefault()
       .setPropertyWordWrap(fTargetEditor.getTextColorer().getFileType(), isChecked() ? 1 : 0);
 }