This Bugzilla instance is a read-only archive of historic NetBeans bug reports. To report a bug in NetBeans please follow the project's instructions for reporting issues.

View | Details | Raw Unified | Return to bug 248664
Collapse All | Expand All

(-)editor.lib2/src/org/netbeans/modules/editor/lib2/highlighting/HighlightingManagerOld.java (-1 / +7 lines)
Lines 222-232 Link Here
222
        public Highlighting(HighlightingManager manager, JTextComponent pane) {
222
        public Highlighting(HighlightingManager manager, JTextComponent pane) {
223
            this.manager = manager;
223
            this.manager = manager;
224
            this.pane = pane;
224
            this.pane = pane;
225
            this.paneFilter = new RegExpFilter(pane.getClientProperty(PROP_HL_INCLUDES), pane.getClientProperty(PROP_HL_EXCLUDES));
225
            updatePaneFilter();
226
            this.pane.addPropertyChangeListener(WeakListeners.propertyChange(this, pane));
226
            this.pane.addPropertyChangeListener(WeakListeners.propertyChange(this, pane));
227
            rebuildAll();
227
            rebuildAll();
228
        }
228
        }
229
        
229
        
230
        private void updatePaneFilter() {
231
            paneFilter = new RegExpFilter(pane.getClientProperty(PROP_HL_INCLUDES), pane.getClientProperty(PROP_HL_EXCLUDES));
232
        }
233
230
        synchronized HighlightsContainer bottomHighlights() {
234
        synchronized HighlightsContainer bottomHighlights() {
231
            return bottomHighlights;
235
            return bottomHighlights;
232
        }
236
        }
Lines 266-271 Link Here
266
270
267
        public @Override void propertyChange(PropertyChangeEvent evt) {
271
        public @Override void propertyChange(PropertyChangeEvent evt) {
268
            if (evt.getPropertyName() == null || PROP_DOCUMENT.equals(evt.getPropertyName())) {
272
            if (evt.getPropertyName() == null || PROP_DOCUMENT.equals(evt.getPropertyName())) {
273
                updatePaneFilter();
269
                Document doc = pane.getDocument();
274
                Document doc = pane.getDocument();
270
                if (doc != null) {
275
                if (doc != null) {
271
                    doc.render(new Runnable() {
276
                    doc.render(new Runnable() {
Lines 278-283 Link Here
278
            }
283
            }
279
284
280
            if (PROP_HL_INCLUDES.equals(evt.getPropertyName()) || PROP_HL_EXCLUDES.equals(evt.getPropertyName())) {
285
            if (PROP_HL_INCLUDES.equals(evt.getPropertyName()) || PROP_HL_EXCLUDES.equals(evt.getPropertyName())) {
286
                updatePaneFilter();
281
                rebuildAllLayers();
287
                rebuildAllLayers();
282
            }
288
            }
283
        }
289
        }

Return to bug 248664