Revision 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

Also available in: Unified diff