class EditorFactory extends DefaultEditorFactory
- Source
- EditorFactory.scala
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- EditorFactory
- DefaultEditorFactory
- EditorFactory
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- All
Instance Constructors
- new EditorFactory(compiler: CompilerServices, extensionManager: ExtensionManager)
Value Members
- def autoSuggestAction: AutoSuggestAction
-
val
colorizer: EditorColorizer
- Definition Classes
- DefaultEditorFactory → EditorFactory
-
def
defaultConfiguration(rows: Int, cols: Int): EditorConfiguration
- Definition Classes
- EditorFactory → EditorFactory
-
def
newEditor(configuration: EditorConfiguration): AbstractEditorArea
- Definition Classes
- EditorFactory → DefaultEditorFactory → EditorFactory
- def newEditor(configuration: EditorConfiguration, isApp: Boolean): AbstractEditorArea
-
def
scrollPane(editor: AbstractEditorArea): EditorScrollPane
- Definition Classes
- EditorFactory → DefaultEditorFactory → EditorFactory
- def useExtensionManager(extensionManager: ExtensionManager): Unit