Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 235797 | Differences between
and this patch

Collapse All | Expand All

(-)src/org/eclipse/gmf/codegen/gmfgen/presentation/GMFGenEditor.java (-2 lines)
Lines 468-474 Link Here
468
								(new Runnable() {
468
								(new Runnable() {
469
									 public void run() {
469
									 public void run() {
470
										 getSite().getPage().closeEditor(GMFGenEditor.this, false);
470
										 getSite().getPage().closeEditor(GMFGenEditor.this, false);
471
										 GMFGenEditor.this.dispose();
472
									 }
471
									 }
473
								 });
472
								 });
474
						}
473
						}
Lines 510-516 Link Here
510
		if (!removedResources.isEmpty()) {
509
		if (!removedResources.isEmpty()) {
511
			if (handleDirtyConflict()) {
510
			if (handleDirtyConflict()) {
512
				getSite().getPage().closeEditor(GMFGenEditor.this, false);
511
				getSite().getPage().closeEditor(GMFGenEditor.this, false);
513
				GMFGenEditor.this.dispose();
514
			}
512
			}
515
			else {
513
			else {
516
				removedResources.clear();
514
				removedResources.clear();
(-)src/org/eclipse/gmf/mappings/presentation/GMFMapEditor.java (-2 lines)
Lines 469-475 Link Here
469
								(new Runnable() {
469
								(new Runnable() {
470
									 public void run() {
470
									 public void run() {
471
										 getSite().getPage().closeEditor(GMFMapEditor.this, false);
471
										 getSite().getPage().closeEditor(GMFMapEditor.this, false);
472
										 GMFMapEditor.this.dispose();
473
									 }
472
									 }
474
								 });
473
								 });
475
						}
474
						}
Lines 511-517 Link Here
511
		if (!removedResources.isEmpty()) {
510
		if (!removedResources.isEmpty()) {
512
			if (handleDirtyConflict()) {
511
			if (handleDirtyConflict()) {
513
				getSite().getPage().closeEditor(GMFMapEditor.this, false);
512
				getSite().getPage().closeEditor(GMFMapEditor.this, false);
514
				GMFMapEditor.this.dispose();
515
			}
513
			}
516
			else {
514
			else {
517
				removedResources.clear();
515
				removedResources.clear();
(-)src/org/eclipse/gmf/gmfgraph/presentation/GMFGraphEditor.java (-2 lines)
Lines 465-471 Link Here
465
								(new Runnable() {
465
								(new Runnable() {
466
									 public void run() {
466
									 public void run() {
467
										 getSite().getPage().closeEditor(GMFGraphEditor.this, false);
467
										 getSite().getPage().closeEditor(GMFGraphEditor.this, false);
468
										 GMFGraphEditor.this.dispose();
469
									 }
468
									 }
470
								 });
469
								 });
471
						}
470
						}
Lines 507-513 Link Here
507
		if (!removedResources.isEmpty()) {
506
		if (!removedResources.isEmpty()) {
508
			if (handleDirtyConflict()) {
507
			if (handleDirtyConflict()) {
509
				getSite().getPage().closeEditor(GMFGraphEditor.this, false);
508
				getSite().getPage().closeEditor(GMFGraphEditor.this, false);
510
				GMFGraphEditor.this.dispose();
511
			}
509
			}
512
			else {
510
			else {
513
				removedResources.clear();
511
				removedResources.clear();
(-)src/org/eclipse/gmf/tooldef/presentation/GMFToolEditor.java (-2 lines)
Lines 457-463 Link Here
457
							getSite().getShell().getDisplay().asyncExec(new Runnable() {
457
							getSite().getShell().getDisplay().asyncExec(new Runnable() {
458
								public void run() {
458
								public void run() {
459
									getSite().getPage().closeEditor(GMFToolEditor.this, false);
459
									getSite().getPage().closeEditor(GMFToolEditor.this, false);
460
									GMFToolEditor.this.dispose();
461
								}
460
								}
462
							});
461
							});
463
						}
462
						}
Lines 498-504 Link Here
498
		if (!removedResources.isEmpty()) {
497
		if (!removedResources.isEmpty()) {
499
			if (handleDirtyConflict()) {
498
			if (handleDirtyConflict()) {
500
				getSite().getPage().closeEditor(GMFToolEditor.this, false);
499
				getSite().getPage().closeEditor(GMFToolEditor.this, false);
501
				GMFToolEditor.this.dispose();
502
			} else {
500
			} else {
503
				removedResources.clear();
501
				removedResources.clear();
504
				changedResources.clear();
502
				changedResources.clear();

Return to bug 235797