Attachment 86929 Details for Bug 204471 – Patch file

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

[patch] Patch file

patch_bugzilla204471_20080115.txt (text/plain), 3.14 KB, created by Yasuhisa Gotoh

on 2008-01-15 07:05:27 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Yasuhisa Gotoh

Created: 2008-01-15 07:05:27 EST

Size: 3.14 KB

patch

obsolete

>Index: src/org/eclipse/tptp/platform/log/views/internal/views/LogPaneViewer.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.log.views/src/org/eclipse/tptp/platform/log/views/internal/views/LogPaneViewer.java,v
>retrieving revision 1.30
>diff -u -r1.30 LogPaneViewer.java
>--- src/org/eclipse/tptp/platform/log/views/internal/views/LogPaneViewer.java	23 Nov 2007 18:31:41 -0000	1.30
>+++ src/org/eclipse/tptp/platform/log/views/internal/views/LogPaneViewer.java	15 Jan 2008 12:02:46 -0000
>@@ -131,8 +131,7 @@
> 					{
> 						public void run()
> 						{
>-
>-							_logViewUI.update();
>+							_logViewUI.updateSort();
> 						}
> 					});
> 				}
>Index: src/org/eclipse/tptp/platform/log/views/internal/views/LogViewer.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.log.views/src/org/eclipse/tptp/platform/log/views/internal/views/LogViewer.java,v
>retrieving revision 1.64
>diff -u -r1.64 LogViewer.java
>--- src/org/eclipse/tptp/platform/log/views/internal/views/LogViewer.java	27 Nov 2007 04:33:39 -0000	1.64
>+++ src/org/eclipse/tptp/platform/log/views/internal/views/LogViewer.java	15 Jan 2008 12:02:47 -0000
>@@ -264,8 +264,7 @@
> 							.BusyIndicator
> 							.showWhile(null, new Runnable() {
> 							public void run() {
>-
>-								((LogPage) page).getView().update();
>+								((LogPage) page).getView().updateSort();
> 							}
> 						});
> 					}
>Index: src/org/eclipse/tptp/platform/log/views/internal/preferences/LogAnalyzerSortPrefPage.java
>===================================================================
>RCS file: /cvsroot/tptp/platform/org.eclipse.tptp.platform.log.views/src/org/eclipse/tptp/platform/log/views/internal/preferences/LogAnalyzerSortPrefPage.java,v
>retrieving revision 1.9
>diff -u -r1.9 LogAnalyzerSortPrefPage.java
>--- src/org/eclipse/tptp/platform/log/views/internal/preferences/LogAnalyzerSortPrefPage.java	16 Aug 2006 21:18:16 -0000	1.9
>+++ src/org/eclipse/tptp/platform/log/views/internal/preferences/LogAnalyzerSortPrefPage.java	15 Jan 2008 12:02:46 -0000
>@@ -23,6 +23,7 @@
> 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;
> 
>@@ -98,8 +99,7 @@
> 	}
> 	
> 	public void performApply(){
>-		_options.storeValues();
>-				
>+		storeValues();
> 	}
> 	public boolean hasSortChanged(){
> 		boolean changed = false;
>@@ -117,5 +117,12 @@
> 	 */
> 	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();
>+		}
> 	}
> }
>\ No newline at end of file

Actions: View | Diff

Attachments on bug 204471: 86929