keeping tooltips open for a longer time

truj · Sep 9, 2023 · 0c70f68 · 0c70f68
1 parent 5f1a8d4
commit 0c70f68
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 3 deletions.
diff --git a/midica.jar b/midica.jar
diff --git a/src/org/midica/Midica.java b/src/org/midica/Midica.java
@@ -33,13 +33,13 @@ public class Midica {
  * After switching to a new major version, this has to be set to "-1" manually, so that
  * precommit.pl starts with "0" again.
  */
- private static final int VERSION_MINOR = 8;
+ private static final int VERSION_MINOR = 9;
 
  /** UNIX timestamp of the last commit */
- public static final int COMMIT_TIME = 1693413781;
+ public static final int COMMIT_TIME = 1694279716;
 
  /** Branch name. Automatically changed by precommit.pl */
- public static final String BRANCH = "keyboard";
+ public static final String BRANCH = "master";
 
  /** Full version string. */
  public static final String VERSION = VERSION_MAJOR + "." + VERSION_MIDDLE + "." + VERSION_MINOR + ("master".equals(BRANCH) ? "" : "-" + BRANCH);

diff --git a/src/org/midica/config/Laf.java b/src/org/midica/config/Laf.java
@@ -21,6 +21,7 @@
 import javax.swing.JSeparator;
 import javax.swing.KeyStroke;
 import javax.swing.SwingUtilities;
+import javax.swing.ToolTipManager;
 import javax.swing.UIDefaults;
 import javax.swing.UIManager;
 import javax.swing.UIManager.LookAndFeelInfo;
@@ -284,6 +285,9 @@ else if (isMetal)
  im.put(KeyStroke.getKeyStroke(KeyEvent.VK_A, KeyEvent.META_DOWN_MASK), DefaultEditorKit.selectAllAction);
  }
  }
+
+ // make tooltips appear longer
+ ToolTipManager.sharedInstance().setDismissDelay(30000);
  }
 
  /**