org.gjt.sp.jedit.gui
Class GrabKeyDialog.KeyBinding

java.lang.Object
  extended byorg.gjt.sp.jedit.gui.GrabKeyDialog.KeyBinding
Enclosing class:
GrabKeyDialog

public static class GrabKeyDialog.KeyBinding
extends Object

A jEdit action or macro with its two possible shortcuts.

Since:
jEdit 3.2pre8

Field Summary
 boolean isPrefix
           
 String label
           
 String name
           
 String shortcut
           
 
Constructor Summary
GrabKeyDialog.KeyBinding(String name, String label, String shortcut, boolean isPrefix)
           
 
Method Summary
 boolean isAssigned()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

name

public String name

label

public String label

shortcut

public String shortcut

isPrefix

public boolean isPrefix
Constructor Detail

GrabKeyDialog.KeyBinding

public GrabKeyDialog.KeyBinding(String name,
                                String label,
                                String shortcut,
                                boolean isPrefix)
Method Detail

isAssigned

public boolean isAssigned()