commit | 4f0c4d548e955d28a332cdc260033c7beb31bd7f | [log] [tgz] |
---|---|---|
author | sarsenau <sarsenau> | Tue Apr 09 17:37:10 2002 +0000 |
committer | sarsenau <sarsenau> | Tue Apr 09 17:37:10 2002 +0000 |
tree | 30349a271e88d3bb84b4c1ec2a152b9adb134cce | |
parent | 5555fe13503215fe45acdba7183e12d05fcb6693 [diff] |
Fix widget is disposed error
diff --git a/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/texteditor/AbstractRulerActionDelegate.java b/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/texteditor/AbstractRulerActionDelegate.java index 422c38a..bade005 100644 --- a/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/texteditor/AbstractRulerActionDelegate.java +++ b/bundles/org.eclipse.ui/Eclipse UI Text Editor/org/eclipse/ui/texteditor/AbstractRulerActionDelegate.java
@@ -72,7 +72,9 @@ Updater updater= (Updater) fMap.get(fEditor); if (updater != null) { Control control= rulerInfo.getControl(); - control.removeMouseListener(updater); + if (!control.isDisposed()) { + control.removeMouseListener(updater); + } } } } @@ -93,7 +95,9 @@ } Control control= rulerInfo.getControl(); - control.addMouseListener(updater); + if (!control.isDisposed()) { + control.addMouseListener(updater); + } } } }