workbench.util

Class HotkeyManager

java.lang.Object

java.awt.EventQueue

workbench.util.HotkeyManager

public class HotkeyManager
extends EventQueue

Method Summary

Methods

Modifier and Type	Method and Description
void	addHotkey(KeyStroke keyS, Action keyA) add a hotkey
void	addHotkey(KeyStroke keyS, Object mapKey, Action keyA) add a hotkey
protected void	dispatchEvent(AWTEvent event) listen for keyboard event
ActionMap	getActionMap() return list of available keyboard action maps
InputMap	getInputMap() return list of available keyboard input maps
static HotkeyManager	getInstance() get current instance of global hotkey manager
void	removeHotkey(KeyStroke keyS) remove a hotkey

Methods inherited from class java.awt.EventQueue

createSecondaryLoop, getCurrentEvent, getMostRecentEventTime, getNextEvent, invokeAndWait, invokeLater, isDispatchThread, peekEvent, peekEvent, pop, postEvent, push

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

getInstance

public static HotkeyManager getInstance()

get current instance of global hotkey manager

Returns:

instance of global hotkey manager

addHotkey

public void addHotkey(KeyStroke keyS,
             Action keyA)

add a hotkey

Parameters:

keyS - which keystroke

keyA - action to be performed

addHotkey

public void addHotkey(KeyStroke keyS,
             Object mapKey,
             Action keyA)

add a hotkey

Parameters:

keyS - which keystroke

mapKey - map key to action

keyA - action to be performed

removeHotkey

public void removeHotkey(KeyStroke keyS)

remove a hotkey

Parameters:

keyS - which keystroke to remove from list of hotkeys

getInputMap

public InputMap getInputMap()

return list of available keyboard input maps

Returns:

input map

getActionMap

public ActionMap getActionMap()

return list of available keyboard action maps

Returns:

action map

dispatchEvent

protected void dispatchEvent(AWTEvent event)

listen for keyboard event

Overrides:

dispatchEvent in class EventQueue

Parameters:

event - an event