Eigenschaften von ToolsAPI.Editor.INTACodeEditorOptions

• Übergeordnet: INTACodeEditorOptions

GeerbteProtected

BackgroundColor	public
FontColor	public
FontStyles	public
GutterVisible	public
GutterWidth	public
RightMarginChars	public
RightMarginVisible	public