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

Editor

ij_plugins.scala.console.editor.Editor$
See theEditor companion class
object Editor

Attributes

Companion:
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Editor.type

Members list

Concise view

Type members

Classlikes

trait EditorEvent

Event marker trait.

Event marker trait.

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
case class SourceFileEvent(file: Option[File]) extends EditorEvent

Notifies that file name associated with the editor changed. Informs what file was saved or opened in the editor.

Notifies that file name associated with the editor changed. Informs what file was saved or opened in the editor.

Attributes

Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Generated with