scala-console
API
Generated with
scala-console/ij_plugins.scala.console.editor/Editor

Editor

ij_plugins.scala.console.editor.Editor
See theEditor companion object
class Editor extends Publisher[EditorEvent]

Code input area of the console. Creates MVC components and gives access to the view, and externally relevant parts of the model (selection and text) and controller (actions).

Publishes event ij_plugins.scala.console.editor.Editor.SourceFileEvent

Attributes

Companion:
object
Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Type members

Inherited types

type Filter = Evt => Boolean

Attributes

Inherited from:
Publisher
type Pub <: Publisher[Evt]

Attributes

Inherited from:
Publisher
type Sub = Subscriber[Evt, Pub]

Attributes

Inherited from:
Publisher

Value members

Concrete methods

def fileActions: Seq[Action]

Actions for file menu.

Actions for file menu.

Attributes

def prepareToClose(): Boolean

Perform operations needed to safely close the editor, save files, etc.

Perform operations needed to safely close the editor, save files, etc.

Return 'true' if can be closed.

Attributes

def read(file: File): Unit
def selection: String

Currently selected text in the editor. May be an empty string.

Currently selected text in the editor. May be an empty string.

Attributes

def text: String

Full editor content.

Full editor content.

Attributes

def view: Node

Component displaying content of this editor

Component displaying content of this editor

Attributes

Inherited methods

def activateSubscription(sub: Sub): Unit

Attributes

Inherited from:
Publisher
override def equals(obj: Any): Boolean

Checks if two publishers are structurally identical.

Checks if two publishers are structurally identical.

Attributes

Returns:

true, iff both publishers contain the same sequence of elements.

Definition Classes
Publisher -> Any
Inherited from:
Publisher
protected def publish(event: EditorEvent): Unit

Attributes

Inherited from:
Publisher
def removeSubscription(sub: Sub): Unit

Attributes

Inherited from:
Publisher
def removeSubscriptions(): Unit

Attributes

Inherited from:
Publisher
def subscribe(sub: Sub, filter: Filter): Unit

Attributes

Inherited from:
Publisher
def subscribe(sub: Sub): Unit

Attributes

Inherited from:
Publisher
def suspendSubscription(sub: Sub): Unit

Attributes

Inherited from:
Publisher

Concrete fields

val needsSaving: BooleanBinding
val sourceFile: ReadOnlyObjectProperty[Option[File]]

Source file from editor content was saved to read from.

Source file from editor content was saved to read from.

Attributes

Inherited fields

protected val self: Pub

The publisher itself of type Pub. Implemented by a cast from this here. Needs to be overridden if the actual publisher is different from this.

The publisher itself of type Pub. Implemented by a cast from this here. Needs to be overridden if the actual publisher is different from this.

Attributes

Inherited from:
Publisher
Generated with