Interface HotKeyHandler


public interface HotKeyHandler
This interface allows extensions to handle hot key events.