Révision 672

tmp/org.txm.rcp/src/main/java/org/txm/rcp/views/debug/TXMResultDebugView.java (revision 672)
85 85 
		IWorkbenchWindow window = PlatformUI.getWorkbench().getActiveWorkbenchWindow();
86 86 
		IWorkbenchPage page = window.getActivePage();
87 87 
		TXMResultDebugView view = (TXMResultDebugView) page.findView(TXMResultDebugView.class.getName());
88 
		view.refresh();
88 
		if (view != null) {
89 
			view.refresh();
90 
		}
89 91 
	}
90 92 
	/**
91 93 
	 * Refreshes the view.

Formats disponibles : Unified diff