Parent Directory | Revision Log | Patch
revision 1.10 by tromey, Tue Apr 26 18:56:19 2005 UTC | revision 1.11 by rabbit78, Fri Jun 17 10:21:02 2005 UTC | |
---|---|---|
# | Line 424 public class ToolTipManager extends Mous | Line 424 public class ToolTipManager extends Mous |
424 | insideTimer.stop(); | insideTimer.stop(); |
425 | hideTip(); | hideTip(); |
426 | } | } |
427 | ||
428 | if (currentComponent == null) | |
429 | currentComponent = (Component) event.getSource(); | |
430 | ||
431 | currentComponent.invalidate(); | currentComponent.invalidate(); |
432 | currentComponent.validate(); | currentComponent.validate(); |
433 | currentComponent.repaint(); | currentComponent.repaint(); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |