MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-10-01 09:03:31 +07:00
Code Issues Packages Projects Releases Wiki Activity

macos + debugger + mousewheel bug worked around.

Browse Source
This commit is contained in:
Maxim Shafirov
2005-03-21 19:01:40 +03:00
parent 803a30702e
commit a2ef29438d
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
source/com/intellij/debugger/ui/impl/TipManager.java
+1 -1
View File
@@ -109,7 +109,7 @@ public class TipManager {
public void hideTooltip() {
if (myCurrentTooltip != null) {
Window window = SwingUtilities.windowForComponent(myCurrentTooltip);
if(window != null) {
if(window != null && !(window instanceof JFrame)) {
window.hide();
}
myCurrentTooltip = null;