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

(-)src/org/eclipse/hyades/trace/ui/TraceViewer.java (-1 / +2 lines)
Lines 476-482 Link Here
476
	 * Shows the given page
476
	 * Shows the given page
477
	 */
477
	 */
478
	public void showPage(IPage page) {
478
	public void showPage(IPage page) {
479
		book.showPage(page.getControl());
479
		if (page.getControl()!=null)
480
			book.showPage(page.getControl());
480
		currentPage = page;
481
		currentPage = page;
481
482
482
	}
483
	}
(-)src/org/eclipse/tptp/platform/log/views/internal/navigator/LogNavigatorActionGroup.java (-1 / +3 lines)
Lines 23-28 Link Here
23
23
24
import org.eclipse.core.resources.IFile;
24
import org.eclipse.core.resources.IFile;
25
import org.eclipse.core.resources.IResource;
25
import org.eclipse.core.resources.IResource;
26
import org.eclipse.core.runtime.Platform;
26
import org.eclipse.emf.ecore.EObject;
27
import org.eclipse.emf.ecore.EObject;
27
import org.eclipse.hyades.log.ui.internal.LogMessages;
28
import org.eclipse.hyades.log.ui.internal.LogMessages;
28
import org.eclipse.hyades.models.hierarchy.CorrelationContainerProxy;
29
import org.eclipse.hyades.models.hierarchy.CorrelationContainerProxy;
Lines 287-293 Link Here
287
		}
288
		}
288
				
289
				
289
		menu.appendToGroup(INavigatorContribution.GROUP_REFRESH,fRefreshTree);
290
		menu.appendToGroup(INavigatorContribution.GROUP_REFRESH,fRefreshTree);
290
		menu.appendToGroup(INavigatorContribution.GROUP_REFRESH,fRefreshLocal);		
291
		if (Platform.getBundle("org.eclipse.tptp.platform.rcp.log")==null)
292
			menu.appendToGroup(INavigatorContribution.GROUP_REFRESH,fRefreshLocal);		
291
		
293
		
292
294
293
		if (!multiSelection) {
295
		if (!multiSelection) {
(-)src/org/eclipse/tptp/platform/log/views/internal/views/LogPage.java (-1 / +1 lines)
Lines 112-118 Link Here
112
 */
112
 */
113
public void update(boolean newPage)
113
public void update(boolean newPage)
114
{
114
{
115
	if(!newPage){
115
	if(!newPage && _view!=null){
116
		_view.refresh();
116
		_view.refresh();
117
	}
117
	}
118
}
118
}

Return to bug 185810