Beispiel #1
0
  protected void handlePreferenceStoreChanged(PropertyChangeEvent event) {
    String p = event.getProperty();

    if (p.equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND)
        || p.equals(AbstractTextEditor.PREFERENCE_COLOR_BACKGROUND_SYSTEM_DEFAULT)) {
      updateBackgroundColor();
    } else if (textTools.affectsBehavior(event)) {
      invalidateTextPresentation();
    }
  }
Beispiel #2
0
 /*
  * @see TextMergeViewer#getDocumentPartitioner()
  */
 protected IDocumentPartitioner getDocumentPartitioner() {
   return textTools.createXMLPartitioner();
 }