EditorFactory

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

Attributes

Source
EditorFactory.scala
Graph
Supertypes
trait ThemeSync
class DefaultEditorFactory
trait EditorFactory
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
EditorFactory
Source
EditorFactory.scala

Attributes

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

Attributes

Definition Classes
DefaultEditorFactory -> EditorFactory
Source
EditorFactory.scala

Attributes

Definition Classes
DefaultEditorFactory -> EditorFactory
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