shortcut = jEdit.getProperty(name.concat(".shortcut"));
	public MenuItemModel(String name)	{		this.name = name;		int index = name.indexOf('@');		if(index != -1)		{			arg = name.substring(index+1);			action = jEdit.getAction(name.substring(0,index));		}		else		{			arg = null;			action = jEdit.getAction(name);		}		label = jEdit.getProperty(name.concat(".label"));		shortcut = jEdit.getProperty(name.concat(".shortcut"));		if(label == null)			label = name;		index = label.indexOf('$');		if(index != -1 && label.length() - index > 1)		{                        mnemonic = Character.toLowerCase(label.charAt(index + 1));			label = label.substring(0,index).concat(label.substring(++index));		}		else			mnemonic = '\0';		// stuff for createButton();		String iconName = jEdit.getProperty(name + ".icon");		if(iconName != null)		{			URL url = getClass().getResource("/org/gjt/sp/jedit/toolbar/" + iconName);			if(url != null)			{				icon = new ImageIcon(url);				toolTip = GUIUtilities.prettifyMenuLabel(label);				if(shortcut != null)					toolTip = toolTip + " (" + shortcut + ")";			}		}	}