Propriétés ToolsAPI.Editor.INTACodeEditorOptions

• Aller au parent : INTACodeEditorOptions

héritésprotégés

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