Eigenschaften von ToolsAPI.IOTAEditOptions
GeerbteProtected
| BlockIndent | public | |
| BufferOptions | public | |
| Extensions | public | |
| FontName | public | |
| FontSize | public | |
| ForceCutCopyEnabled | public | |
| IDString | public | |
| OptionsIndex | public | |
| OptionsName | public | |
| SpeedSettingCount | public | |
| SpeedSettings | public | |
| SyntaxHighlighter | public | |
| SyntaxHighlightTypes | public | |
| UseBriefCursorShapes | public | |
| UseBriefRegularExpressions | public |