public String keyDescription ()
	{	String s=CharKey.toLowerCase();
		if (s.equals("none") || s.equals("default")) return s;
		if (Alt) s="alt."+s;
		if (Control) s="control."+s;
		if (Shift) s="shift."+s;
		if (CommandType>0) s="esc"+CommandType+"."+s;
		return s;
	}