summaryrefslogtreecommitdiff
path: root/src/cuchaz/enigma/gui/GuiTricks.java
diff options
context:
space:
mode:
authorGravatar jeff2014-08-23 23:43:31 -0400
committerGravatar jeff2014-08-23 23:43:31 -0400
commit8fa1741b621644ef84a9395a4c395d4ff3a89207 (patch)
tree9cc054e2636dd13a32950ad68dba212275d33026 /src/cuchaz/enigma/gui/GuiTricks.java
parentadded export command with progress bar (diff)
downloadenigma-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.java18
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 @@
11package cuchaz.enigma.gui; 11package cuchaz.enigma.gui;
12 12
13import java.awt.Font; 13import java.awt.Font;
14import java.awt.event.MouseEvent;
14 15
16import javax.swing.JComponent;
15import javax.swing.JLabel; 17import javax.swing.JLabel;
18import javax.swing.ToolTipManager;
16 19
17public class GuiTricks 20public 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}