addColorChoice("options.styles.eolMarkerColor", "view.eolMarkerColor");
	ColorTableModel()	{		colorChoices = new Vector(6);		addColorChoice("options.styles.bgColor","view.bgColor");		addColorChoice("options.styles.fgColor","view.fgColor");		addColorChoice("options.styles.caretColor","view.caretColor");		addColorChoice("options.styles.selectionColor",			"view.selectionColor");		addColorChoice("options.styles.lineHighlightColor",			"view.lineHighlightColor");		addColorChoice("options.styles.bracketHighlightColor",			"view.bracketHighlightColor");	}