EditorFactory

org.nlogo.app.common.EditorFactory
class EditorFactory(compiler: CompilerServices, extensionManager: ExtensionManager) extends DefaultEditorFactory, ThemeSync

Attributes

Source
EditorFactory.scala
Graph
Supertypes
trait ThemeSync
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def defaultConfiguration(rows: Int, cols: Int): EditorConfiguration

Attributes

Definition Classes
Source
EditorFactory.scala

Attributes

Source
EditorFactory.scala
override def newEditor(configuration: EditorConfiguration): AbstractEditorArea

Attributes

Definition Classes
Source
EditorFactory.scala

Attributes

Definition Classes
Source
EditorFactory.scala
override def syncTheme(): Unit

Attributes

Definition Classes
Source
EditorFactory.scala
def useExtensionManager(extensionManager: ExtensionManager): Unit

Attributes

Source
EditorFactory.scala

Inherited fields

Attributes

Inherited from:
DefaultEditorFactory
Source
DefaultEditorFactory.scala