commit | f18facd440a786f9136447c264e90163067a1b24 | [log] [tgz] |
---|---|---|
author | Dani Megert <dmegert> | Wed Dec 14 22:02:26 2005 +0000 |
committer | Dani Megert <dmegert> | Wed Dec 14 22:02:26 2005 +0000 |
tree | 6601a113891cf772dd65ec3e61ebb1df314a242e | |
parent | 7daa86b10c35c16835ad8a5a68eb203f7addc09d [diff] |
Workaround for bug 120921: Keybindings lost after using PopupDialog
diff --git a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/AbstractInformationControl.java b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/AbstractInformationControl.java index d365f12..6b08b70 100644 --- a/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/AbstractInformationControl.java +++ b/org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/AbstractInformationControl.java
@@ -559,8 +559,8 @@ if (visible) open(); else { - saveDialogBounds(getShell()); - getShell().setVisible(false); + // FIXME: workaround for https://bugs.eclipse.org/bugs/show_bug.cgi?id=120921 + dispose(); } }