diff options
| author | 2014-08-23 23:43:31 -0400 | |
|---|---|---|
| committer | 2014-08-23 23:43:31 -0400 | |
| commit | 8fa1741b621644ef84a9395a4c395d4ff3a89207 (patch) | |
| tree | 9cc054e2636dd13a32950ad68dba212275d33026 /src/cuchaz/enigma/gui/GuiTricks.java | |
| parent | added export command with progress bar (diff) | |
| download | enigma-fork-8fa1741b621644ef84a9395a4c395d4ff3a89207.tar.gz enigma-fork-8fa1741b621644ef84a9395a4c395d4ff3a89207.tar.xz enigma-fork-8fa1741b621644ef84a9395a4c395d4ff3a89207.zip | |
moved all classes from the default package into a package called "default" so they can be properly imported by other classes
Diffstat (limited to 'src/cuchaz/enigma/gui/GuiTricks.java')
| -rw-r--r-- | src/cuchaz/enigma/gui/GuiTricks.java | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/cuchaz/enigma/gui/GuiTricks.java b/src/cuchaz/enigma/gui/GuiTricks.java index c79f432..9b889ef 100644 --- a/src/cuchaz/enigma/gui/GuiTricks.java +++ b/src/cuchaz/enigma/gui/GuiTricks.java | |||
| @@ -11,8 +11,11 @@ | |||
| 11 | package cuchaz.enigma.gui; | 11 | package cuchaz.enigma.gui; |
| 12 | 12 | ||
| 13 | import java.awt.Font; | 13 | import java.awt.Font; |
| 14 | import java.awt.event.MouseEvent; | ||
| 14 | 15 | ||
| 16 | import javax.swing.JComponent; | ||
| 15 | import javax.swing.JLabel; | 17 | import javax.swing.JLabel; |
| 18 | import javax.swing.ToolTipManager; | ||
| 16 | 19 | ||
| 17 | public class GuiTricks | 20 | public class GuiTricks |
| 18 | { | 21 | { |
| @@ -22,4 +25,19 @@ public class GuiTricks | |||
| 22 | label.setFont( font.deriveFont( font.getStyle() & ~Font.BOLD ) ); | 25 | label.setFont( font.deriveFont( font.getStyle() & ~Font.BOLD ) ); |
| 23 | return label; | 26 | return label; |
| 24 | } | 27 | } |
| 28 | |||
| 29 | public static void showToolTipNow( JComponent component ) | ||
| 30 | { | ||
| 31 | // HACKHACK: trick the tooltip manager into showing the tooltip right now | ||
| 32 | ToolTipManager manager = ToolTipManager.sharedInstance(); | ||
| 33 | int oldDelay = manager.getInitialDelay(); | ||
| 34 | manager.setInitialDelay( 0 ); | ||
| 35 | manager.mouseMoved( new MouseEvent( | ||
| 36 | component, | ||
| 37 | MouseEvent.MOUSE_MOVED, | ||
| 38 | System.currentTimeMillis(), | ||
| 39 | 0, 0, 0, 0, false | ||
| 40 | ) ); | ||
| 41 | manager.setInitialDelay( oldDelay ); | ||
| 42 | } | ||
| 25 | } | 43 | } |