Attachment #66380 for bug #170326

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

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




					return;
				
				// get here, if different highlighters are selected or a highligher is changed to use a different color
				if (event.getProperty().equals("filters.highlightings.ok.press")){
					_highlighters.clear();
					updateHighlighters(_highlighters);
					if (_showHighlightedEventsOnly)
						_logViewer.updateHighlighters(_highlighters,true);
						CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", oldvalue, null);
				}
			}

		Action showHighlightedOnly = new Action(){
			public void run(){
				_showHighlightedEventsOnly = isChecked();
				_logViewer.updateHighlighters(new ArrayList(),!_showHighlightedEventsOnly);
				if (_showHighlightedEventsOnly){
					_logViewer.updateHighlighters(_highlighters,!_showHighlightedEventsOnly);
					CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", oldvalue, null);
				}
			}

Lines 528-534 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/util/FiltersEditColorDialog.java (-1 / +1 lines)
528		528
529	super.okPressed();	529	super.okPressed();
530		530
531	CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", null, null);	531	CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok.press", null, null);
532		532
533	//dispose colors	533	//dispose colors
534	Iterator i = _colorsMap.keySet().iterator();	534	Iterator i = _colorsMap.keySet().iterator();

Lines 329-335 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/views/LogContentProvider.java (-1 / +1 lines)
329	// }	329	// }
330	// }	330	// }
331		331
332	if (isModelChanged() \|\| prepareFiltersAndSortAttributes()) {	332	if (isModelChanged()) {// \|\| prepareFiltersAndSortAttributes()) {
333	// rebuildAllElements(inputElement);	333	// rebuildAllElements(inputElement);
334	rebuildAllElements(inputElement);	334	rebuildAllElements(inputElement);
335	_visible_roots = _visible;	335	_visible_roots = _visible;

Lines 121-130 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/views/LogViewer.java (-2 / +2 lines)
121	private boolean filterRefreshEvent =false;	121	private boolean filterRefreshEvent =false;
122	private List highlighters = new ArrayList();	122	private List highlighters = new ArrayList();
123		123
124	public void updateHighlighters(List highlighterList){	124	public void updateHighlighters(List highlighterList, boolean refresh){
125	highlighters.clear();	125	highlighters.clear();
126	highlighters.addAll(highlighterList);	126	highlighters.addAll(highlighterList);
127	this.refresh();	127	if (refresh) this.refresh();
128	}	128	}
129		129
130	public SimpleSearchQuery getCurrentFilter()	130	public SimpleSearchQuery getCurrentFilter()

Return to bug 170326

Lines 68-78 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/util/HighlighterDropDownMenu.java (-4 / +4 lines)
68	return;	68	return;
69		69
70	// get here, if different highlighters are selected or a highligher is changed to use a different color	70	// get here, if different highlighters are selected or a highligher is changed to use a different color
71	if (event.getProperty().equals("filters.highlightings.ok")){	71	if (event.getProperty().equals("filters.highlightings.ok.press")){
72	_highlighters.clear();	72	_highlighters.clear();
73	updateHighlighters(_highlighters);	73	updateHighlighters(_highlighters);
74	if (_showHighlightedEventsOnly)	74	if (_showHighlightedEventsOnly)
75	_logViewer.updateHighlighters(_highlighters);	75	_logViewer.updateHighlighters(_highlighters,true);
76	CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", oldvalue, null);	76	CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", oldvalue, null);
77	}	77	}
78	}	78	}
Lines 105-113 Link Here
105	Action showHighlightedOnly = new Action(){	105	Action showHighlightedOnly = new Action(){
106	public void run(){	106	public void run(){
107	_showHighlightedEventsOnly = isChecked();	107	_showHighlightedEventsOnly = isChecked();
108	_logViewer.updateHighlighters(new ArrayList());	108	_logViewer.updateHighlighters(new ArrayList(),!_showHighlightedEventsOnly);
109	if (_showHighlightedEventsOnly){	109	if (_showHighlightedEventsOnly){
110	_logViewer.updateHighlighters(_highlighters);	110	_logViewer.updateHighlighters(_highlighters,!_showHighlightedEventsOnly);
111	CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", oldvalue, null);	111	CommonUIPlugin.getDefault().getPreferenceStore().firePropertyChangeEvent("filters.highlightings.ok", oldvalue, null);
112	}	112	}
113	}	113	}