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

(no message)

Browse Source
This commit is contained in:
Eugene Zhuravlev
2005-03-18 15:27:20 +03:00
parent 7936188dd6
commit 00bb36fa0f
1 changed files with 28 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files
source/com/intellij/debugger/ui/impl/TipManager.java
+28 -16
View File
@@ -32,11 +32,17 @@ public class TipManager {
private boolean isOverTip(MouseEvent e) {
if (myCurrentTooltip != null) {
Window tipWindow = SwingUtilities.windowForComponent(myCurrentTooltip);
if(!tipWindow.isShowing()) hideTooltip();
Point point = e.getComponent().getLocationOnScreen();
final Window tipWindow = SwingUtilities.windowForComponent(myCurrentTooltip);
if (tipWindow == null) {
return false;
}
if(!tipWindow.isShowing()) {
hideTooltip();
return false;
}
final Point point = e.getComponent().getLocationOnScreen();
point.translate(e.getX(), e.getY());
return tipWindow != null && tipWindow.getBounds().contains(point);
return tipWindow.getBounds().contains(point);
}
return false;
}
@@ -45,16 +51,20 @@ public class TipManager {
myAlarm.cancelAllRequests();
if (isOverTip(e)) {
ListenerUtil.addMouseListener(myCurrentTooltip, new MouseAdapter() {
public void mouseExited(MouseEvent e) {
if (myCurrentTooltip != null) {
if(!isOverTip(e)) {
SwingUtilities.windowForComponent(myCurrentTooltip).removeMouseListener(this);
hideTooltip();
public void mouseExited(MouseEvent e) {
if (myCurrentTooltip != null) {
if(!isOverTip(e)) {
final Window tipWindow = SwingUtilities.windowForComponent(myCurrentTooltip);
if (tipWindow != null) {
tipWindow.removeMouseListener(this);
}
hideTooltip();
}
}
});
} else {
}
});
}
else {
hideTooltip();
}
}
@@ -77,7 +87,9 @@ public class TipManager {
private void showTooltip(MouseEvent e) {
JComponent newTip = myTipFactory.createToolTip(e);
if(newTip == myCurrentTooltip) return;
if(newTip == myCurrentTooltip) {
return;
}
hideTooltip();
@@ -88,9 +100,7 @@ public class TipManager {
location.x += sLocation.x;
location.y += sLocation.y;
Popup tipPopup = popupFactory.getPopup(myComponent, newTip,
location.x,
location.y);
Popup tipPopup = popupFactory.getPopup(myComponent, newTip, location.x, location.y);
tipPopup.show();
myCurrentTooltip = newTip;
}
@@ -99,7 +109,9 @@ public class TipManager {
public void hideTooltip() {
if (myCurrentTooltip != null) {
Window window = SwingUtilities.windowForComponent(myCurrentTooltip);
if(window != null) window.hide();
if(window != null) {
window.hide();
}
myCurrentTooltip = null;
}
}