diff options
author | Dejan Gloszic | 2005-05-20 17:38:24 +0000 |
---|---|---|
committer | Dejan Gloszic | 2005-05-20 17:38:24 +0000 |
commit | 3caf4841306d04a41b823c180c9c7e6723a2def2 (patch) | |
tree | 3ba301a9dedce3df3587d3b1124a7e047533866b /org.eclipse.help.ui | |
parent | 756691198197f4c0d827ac7954682800cfb3f4e6 (diff) | |
download | eclipse.platform.ua-3caf4841306d04a41b823c180c9c7e6723a2def2.tar.gz eclipse.platform.ua-3caf4841306d04a41b823c180c9c7e6723a2def2.tar.xz eclipse.platform.ua-3caf4841306d04a41b823c180c9c7e6723a2def2.zip |
*** empty log message ***
Diffstat (limited to 'org.eclipse.help.ui')
-rw-r--r-- | org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ReusableHelpPart.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ReusableHelpPart.java b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ReusableHelpPart.java index a3410ced1..bad839a65 100644 --- a/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ReusableHelpPart.java +++ b/org.eclipse.help.ui/src/org/eclipse/help/ui/internal/views/ReusableHelpPart.java @@ -496,7 +496,9 @@ public class ReusableHelpPart implements IHelpUIConstants, public void setFocus() { // set focus on the control that had // focus when this page was active - if (focusControl != null && focusControl.setFocus()) + if (focusControl != null && focusControl.isDisposed()) + focusControl = null; + if (focusControl!=null && focusControl.setFocus()) return; if (partRecs.size() == 0) return; |