addColorChoice("options.color.gutterFoldColor", "view.gutter.foldColor");
	ColorTableModel()	{		colorChoices = new Vector(17);		addColorChoice("options.color.bgColor","view.bgColor");		addColorChoice("options.color.fgColor","view.fgColor");		addColorChoice("options.color.caretColor","view.caretColor");		addColorChoice("options.color.selectionColor",			"view.selectionColor");		addColorChoice("options.color.lineHighlightColor",			"view.lineHighlightColor");		addColorChoice("options.color.bracketHighlightColor",			"view.bracketHighlightColor");		addColorChoice("options.color.eolMarkerColor",			"view.eolMarkerColor");		addColorChoice("options.color.wrapGuideColor",			"view.wrapGuideColor");		addColorChoice("options.color.gutterBgColor",			"view.gutter.bgColor");		addColorChoice("options.color.gutterFgColor",			"view.gutter.fgColor");		addColorChoice("options.color.gutterHighlightColor",			"view.gutter.highlightColor");		addColorChoice("options.color.gutterCurrentLineColor",			"view.gutter.currentLineColor");		addColorChoice("options.color.gutterMarkerColor",			"view.gutter.markerColor");		addColorChoice("options.color.gutterRegisterColor",			"view.gutter.registerColor");		addColorChoice("options.color.gutterFocusBorderColor",			"view.gutter.focusBorderColor");		addColorChoice("options.color.gutterNoFocusBorderColor",			"view.gutter.noFocusBorderColor");		if(!(UIManager.getLookAndFeel() instanceof MetalLookAndFeel))		{			addColorChoice("options.color.dockingBorderColor",				"view.docking.borderColor");		}	}