MiscUtilities.quicksort(bindings,new KeyCompare());
sort(0);
	KeyTableModel()	{		Enumeration textActions = InputHandler.getActions();		EditAction[] actions = jEdit.getActions();		bindings = new Vector(actions.length + 30);		// Add text area key bindings		while(textActions.hasMoreElements())		{			String name = (String)textActions.nextElement();			String label = jEdit.getProperty(name + ".label");			// Skip certain actions this way (ENTER, TAB)			if(label == null)				continue;			String shortcut = jEdit.getProperty(name + ".shortcut");			bindings.addElement(new KeyBinding(name,label,shortcut));		}		// Add menu item key bindings		for(int i = 0; i < actions.length; i++)		{			String name = actions[i].getName();			String label = jEdit.getProperty(name + ".label");			// Skip certain actions this way (ENTER, TAB)			if(label == null)				continue;			label = GUIUtilities.prettifyMenuLabel(label);			String shortcut = jEdit.getProperty(name + ".shortcut");			bindings.addElement(new KeyBinding(name,label,shortcut));		}		// Add macros		addMacroBindings(Macros.getMacros());		// Sort		MiscUtilities.quicksort(bindings,new KeyCompare());	}