Searched refs:postTip (Results 1 - 1 of 1) sorted by relevance

/openjdk7/jdk/src/share/classes/javax/swing/
H A DToolTipManager.java78 private KeyStroke postTip; field in class:ToolTipManager
96 postTip = KeyStroke.getKeyStroke(KeyEvent.VK_F1, InputEvent.CTRL_MASK);
854 } else if (postTip.equals(keyStrokeForEvent)) {

Completed in 38 milliseconds