Révision 1119

tmp/org.txm.rcp/src/main/java/org/txm/rcp/editors/TXMEditor.java (revision 1119)
715 715 
			boolean wasAlreadyOpened = SWTEditorsUtils.isOpenEditor(editorInput, editorId);
716 716 
			// opening the editor
717 717 
			editor = (TXMEditor) page.openEditor(editorInput, editorId, true, IWorkbenchPage.MATCH_INPUT | IWorkbenchPage.MATCH_ID);
718 
			editor.refresh(true);
718 
			//editor.refresh(true);
719 719 
			// computing the result only if the editor wasn't already opened
720 
			//if(editor.getResult().canCompute() && editor.getResult().isDirty())	{
720 
			if (wasAlreadyOpened)	{
721 721 
				editor.compute(false);
722 
			//}
722 
			}
723 723 
		}
724 724 
		catch (Exception e) {
725 725 
			// TODO Auto-generated catch block

Formats disponibles : Unified diff