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/emf/workspace/examples/extlibrary/presentation/EXTLibraryEditor.java (-2 lines)
Lines 528-534 Link Here
528 
			if (removedResources.contains(res)) {
 528 
			if (removedResources.contains(res)) {
529 
				if (handleDirtyConflict()) {
 529 
				if (handleDirtyConflict()) {
530 
					getSite().getPage().closeEditor(EXTLibraryEditor.this, false);
 530 
					getSite().getPage().closeEditor(EXTLibraryEditor.this, false);
531 
					EXTLibraryEditor.this.dispose();
532 
				}
 531 
				}
533 
			} else if (movedResources.containsKey(res)) {
 532 
			} else if (movedResources.containsKey(res)) {
534 
				//.CUSTOM: Generated editor does not have move support
 533 
				//.CUSTOM: Generated editor does not have move support
Lines 568-574 Link Here
568 
						(new Runnable() {
 567 
						(new Runnable() {
569 
							 public void run() {
 568 
							 public void run() {
570 
								 getSite().getPage().closeEditor(EXTLibraryEditor.this, false);
 569 
								 getSite().getPage().closeEditor(EXTLibraryEditor.this, false);
571 
								 EXTLibraryEditor.this.dispose();
572 
							 }
 570 
							 }
573 
						 });
 571 
						 });
574 
				} else {
 572 
				} else {

Return to bug 235797