Attachment 103742 Details for Bug 235797 – Fix for GMF Editors

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

[patch] Fix for GMF Editors

235797-gmf-editors.patch (text/plain), 4.19 KB, created by Artem Tikhomirov

on 2008-06-05 10:37:51 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Artem Tikhomirov

Created: 2008-06-05 10:37:51 EDT

Size: 4.19 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.gmf.codegen.edit
>Index: src/org/eclipse/gmf/codegen/gmfgen/presentation/GMFGenEditor.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.gmf/plugins/org.eclipse.gmf.codegen.edit/src/org/eclipse/gmf/codegen/gmfgen/presentation/GMFGenEditor.java,v
>retrieving revision 1.31
>diff -u -r1.31 GMFGenEditor.java
>--- src/org/eclipse/gmf/codegen/gmfgen/presentation/GMFGenEditor.java	18 Apr 2008 14:41:58 -0000	1.31
>+++ src/org/eclipse/gmf/codegen/gmfgen/presentation/GMFGenEditor.java	5 Jun 2008 14:23:12 -0000
>@@ -468,7 +468,6 @@
> 								(new Runnable() {
> 									 public void run() {
> 										 getSite().getPage().closeEditor(GMFGenEditor.this, false);
>-										 GMFGenEditor.this.dispose();
> 									 }
> 								 });
> 						}
>@@ -510,7 +509,6 @@
> 		if (!removedResources.isEmpty()) {
> 			if (handleDirtyConflict()) {
> 				getSite().getPage().closeEditor(GMFGenEditor.this, false);
>-				GMFGenEditor.this.dispose();
> 			}
> 			else {
> 				removedResources.clear();
>#P org.eclipse.gmf.map.edit
>Index: src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.gmf/plugins/org.eclipse.gmf.map.edit/src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java,v
>retrieving revision 1.20
>diff -u -r1.20 GMFMapEditor.java
>--- src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java	17 Apr 2008 09:43:47 -0000	1.20
>+++ src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java	5 Jun 2008 14:23:13 -0000
>@@ -469,7 +469,6 @@
> 								(new Runnable() {
> 									 public void run() {
> 										 getSite().getPage().closeEditor(GMFMapEditor.this, false);
>-										 GMFMapEditor.this.dispose();
> 									 }
> 								 });
> 						}
>@@ -511,7 +510,6 @@
> 		if (!removedResources.isEmpty()) {
> 			if (handleDirtyConflict()) {
> 				getSite().getPage().closeEditor(GMFMapEditor.this, false);
>-				GMFMapEditor.this.dispose();
> 			}
> 			else {
> 				removedResources.clear();
>#P org.eclipse.gmf.graphdef.edit
>Index: src/org/eclipse/gmf/gmfgraph/presentation/GMFGraphEditor.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.gmf/plugins/org.eclipse.gmf.graphdef.edit/src/org/eclipse/gmf/gmfgraph/presentation/GMFGraphEditor.java,v
>retrieving revision 1.14
>diff -u -r1.14 GMFGraphEditor.java
>--- src/org/eclipse/gmf/gmfgraph/presentation/GMFGraphEditor.java	18 Apr 2008 14:41:59 -0000	1.14
>+++ src/org/eclipse/gmf/gmfgraph/presentation/GMFGraphEditor.java	5 Jun 2008 14:23:14 -0000
>@@ -465,7 +465,6 @@
> 								(new Runnable() {
> 									 public void run() {
> 										 getSite().getPage().closeEditor(GMFGraphEditor.this, false);
>-										 GMFGraphEditor.this.dispose();
> 									 }
> 								 });
> 						}
>@@ -507,7 +506,6 @@
> 		if (!removedResources.isEmpty()) {
> 			if (handleDirtyConflict()) {
> 				getSite().getPage().closeEditor(GMFGraphEditor.this, false);
>-				GMFGraphEditor.this.dispose();
> 			}
> 			else {
> 				removedResources.clear();
>#P org.eclipse.gmf.tooldef.edit
>Index: src/org/eclipse/gmf/tooldef/presentation/GMFToolEditor.java
>===================================================================
>RCS file: /cvsroot/modeling/org.eclipse.gmf/plugins/org.eclipse.gmf.tooldef.edit/src/org/eclipse/gmf/tooldef/presentation/GMFToolEditor.java,v
>retrieving revision 1.8
>diff -u -r1.8 GMFToolEditor.java
>--- src/org/eclipse/gmf/tooldef/presentation/GMFToolEditor.java	3 Apr 2007 16:28:51 -0000	1.8
>+++ src/org/eclipse/gmf/tooldef/presentation/GMFToolEditor.java	5 Jun 2008 14:23:15 -0000
>@@ -457,7 +457,6 @@
> 							getSite().getShell().getDisplay().asyncExec(new Runnable() {
> 								public void run() {
> 									getSite().getPage().closeEditor(GMFToolEditor.this, false);
>-									GMFToolEditor.this.dispose();
> 								}
> 							});
> 						}
>@@ -498,7 +497,6 @@
> 		if (!removedResources.isEmpty()) {
> 			if (handleDirtyConflict()) {
> 				getSite().getPage().closeEditor(GMFToolEditor.this, false);
>-				GMFToolEditor.this.dispose();
> 			} else {
> 				removedResources.clear();
> 				changedResources.clear();

Actions: View | Diff

Attachments on bug 235797: 103726 | 103732 | 103742