.indexOf('/')); return actionName.substring(index + 1)
.indexOf('/') + 1); return actionName.substring(index)
	static String getActionLabel(String actionName)	{		if(actionName.equals("-"))			return "-";		else		{			if(actionName.startsWith("play-macro@"))			{				int index = Math.max(11,actionName					.indexOf('/'));				return actionName.substring(index + 1)					.replace('_',' ');			}			else				return jEdit.getProperty(actionName + ".label");		}	}