Attachment #86929 for bug #204471

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 204471
Collapse All | Expand All

Lines 131-138 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/views/LogPaneViewer.java (-2 / +1 lines)
131	{	131	{
132	public void run()	132	public void run()
133	{	133	{
134		134	_logViewUI.updateSort();
135	_logViewUI.update();
136	}	135	}
137	});	136	});
138	}	137	}

Lines 264-271 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/views/LogViewer.java (-2 / +1 lines)
264	.BusyIndicator	264	.BusyIndicator
265	.showWhile(null, new Runnable() {	265	.showWhile(null, new Runnable() {
266	public void run() {	266	public void run() {
267		267	((LogPage) page).getView().updateSort();
268	((LogPage) page).getView().update();
269	}	268	}
270	});	269	});
271	}	270	}




import org.eclipse.tptp.platform.log.views.internal.LogViewsPlugin;
import org.eclipse.tptp.platform.log.views.internal.util.CBESortUI;
import org.eclipse.tptp.platform.log.views.internal.util.LogViewsContextIds;
import org.eclipse.tptp.platform.log.views.internal.views.LogViewer;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.PlatformUI;


	}
	
	public void performApply(){
		storeValues();
				
	}
	public boolean hasSortChanged(){
		boolean changed = false;

	 */
	private void storeValues() {
		_options.storeValues();

		// update the log view to reflect the change
		String viewID = "org.eclipse.tptp.platform.log.views.internal.views.LogViewer";
		LogViewer logViewer = (LogViewer) LogViewsPlugin.getActiveWorkbenchWindow().getActivePage().findView(viewID);
		if (logViewer != null) {
			logViewer.getLogPage().getView().updateSort();
		}
	}
}

Return to bug 204471

Lines 23-28 Link Here

(-)src/org/eclipse/tptp/platform/log/views/internal/preferences/LogAnalyzerSortPrefPage.java (-2 / +9 lines)
23	import org.eclipse.tptp.platform.log.views.internal.LogViewsPlugin;	23	import org.eclipse.tptp.platform.log.views.internal.LogViewsPlugin;
24	import org.eclipse.tptp.platform.log.views.internal.util.CBESortUI;	24	import org.eclipse.tptp.platform.log.views.internal.util.CBESortUI;
25	import org.eclipse.tptp.platform.log.views.internal.util.LogViewsContextIds;	25	import org.eclipse.tptp.platform.log.views.internal.util.LogViewsContextIds;
		26	import org.eclipse.tptp.platform.log.views.internal.views.LogViewer;
26	import org.eclipse.ui.IWorkbench;	27	import org.eclipse.ui.IWorkbench;
27	import org.eclipse.ui.PlatformUI;	28	import org.eclipse.ui.PlatformUI;
28		29
Lines 98-105 Link Here
98	}	99	}
99		100
100	public void performApply(){	101	public void performApply(){
101	_options.storeValues();	102	storeValues();
102
103	}	103	}
104	public boolean hasSortChanged(){	104	public boolean hasSortChanged(){
105	boolean changed = false;	105	boolean changed = false;
Lines 117-121 Link Here
117	*/	117	*/
118	private void storeValues() {	118	private void storeValues() {
119	_options.storeValues();	119	_options.storeValues();
		120
		121	// update the log view to reflect the change
		122	String viewID = "org.eclipse.tptp.platform.log.views.internal.views.LogViewer";
		123	LogViewer logViewer = (LogViewer) LogViewsPlugin.getActiveWorkbenchWindow().getActivePage().findView(viewID);
		124	if (logViewer != null) {
		125	logViewer.getLogPage().getView().updateSort();
		126	}
120	}	127	}
121	}	128	}