--- editor.lib2/src/org/netbeans/modules/editor/lib2/highlighting/HighlightingManagerOld.java 2016-07-07 15:03:37.000000000 -0400 +++ editor.lib2/src/org/netbeans/modules/editor/lib2/highlighting/HighlightingManager.java 2016-07-07 15:17:06.000000000 -0400 @@ -222,11 +222,15 @@ public Highlighting(HighlightingManager manager, JTextComponent pane) { this.manager = manager; this.pane = pane; - this.paneFilter = new RegExpFilter(pane.getClientProperty(PROP_HL_INCLUDES), pane.getClientProperty(PROP_HL_EXCLUDES)); + updatePaneFilter(); this.pane.addPropertyChangeListener(WeakListeners.propertyChange(this, pane)); rebuildAll(); } + private void updatePaneFilter() { + paneFilter = new RegExpFilter(pane.getClientProperty(PROP_HL_INCLUDES), pane.getClientProperty(PROP_HL_EXCLUDES)); + } + synchronized HighlightsContainer bottomHighlights() { return bottomHighlights; } @@ -266,6 +270,7 @@ public @Override void propertyChange(PropertyChangeEvent evt) { if (evt.getPropertyName() == null || PROP_DOCUMENT.equals(evt.getPropertyName())) { + updatePaneFilter(); Document doc = pane.getDocument(); if (doc != null) { doc.render(new Runnable() { @@ -278,6 +283,7 @@ } if (PROP_HL_INCLUDES.equals(evt.getPropertyName()) || PROP_HL_EXCLUDES.equals(evt.getPropertyName())) { + updatePaneFilter(); rebuildAllLayers(); } }