String[] args = { path, value }; GUIUtilities.error(null,"xmode-termchar-invalid",args);
error("termchar-invalid",value);
	public void attribute(String aname, String value, boolean isSpecified)	{		String tag = peekElement();		aname = (aname == null) ? null : aname.intern();		value = (value == null) ? null : value.intern();		if (aname == "NAME")		{			// first NAME is the mode name			if(modeName == null)			{				modeName = value;				marker.setName(modeName);			}			else			{				propName = value;			}		}		else if (aname == "VALUE")		{			propValue = value;		}		else if (aname == "TYPE")		{			lastTokenID = stringToToken(value);		}		else if (aname == "AT_LINE_START")		{			lastAtLineStart = (isSpecified) ? (value == "TRUE") :				false;		}		else if (aname == "NO_LINE_BREAK")		{			lastNoLineBreak = (isSpecified) ? (value == "TRUE") :				false;		}		else if (aname == "NO_WORD_BREAK")		{			lastNoWordBreak = (isSpecified) ? (value == "TRUE") :				false;		}		else if (aname == "EXCLUDE_MATCH")		{			lastExcludeMatch = (isSpecified) ? (value == "TRUE") :				false;		}		else if (aname == "IGNORE_CASE")		{			lastIgnoreCase = (isSpecified) ? (value != "FALSE") :				true;		}		else if (aname == "HIGHLIGHT_DIGITS")		{			lastHighlightDigits = (isSpecified) ? (value != "FALSE") :				false;		}		else if (aname == "AT_CHAR")		{			try			{				if (isSpecified) termChar =					Integer.parseInt(value);			}			catch (NumberFormatException e)			{				String[] args = { path, value };				GUIUtilities.error(null,"xmode-termchar-invalid",args);				termChar = -1;			}		}		else if (aname == "ESCAPE")		{			lastEscape = value;		}		else if (aname == "SET")		{			lastSetName = value;		}		else if (aname == "DELEGATE")		{			lastDelegateSet = value;		}		else if (aname == "DEFAULT")		{			lastDefaultID = stringToToken(value);		}	}