trait History extends Observable

Undo-redo management.

Notifies observers when canUndo, canRedo, undoName, or redoName change.

Linear Supertypes
Observable, AnyRef, Any
Known Subclasses
HistoryImpl
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. History
  2. Observable
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Abstract Value Members

  1. abstract def add(edit: NamedEdit): Unit

    Add another edit to the history.

    Add another edit to the history. Unless merging is blocked, it tries to merge this edit with the most recent edit. Afterwards, the internal merge-block flag is cleared.

  2. abstract def blockMerge(): Unit

    Disallow the merging of the next edit to be added.

    Disallow the merging of the next edit to be added. This can be used to avoid merging edits if the editor component was temporarily unfocused, for example.

  3. abstract def canRedo: Boolean

    Whether there are edits that can be redone, and thus whether redo and redoName may be called.

  4. abstract def canUndo: Boolean

    Whether there are undoable edits and thus undo and undoName may be called.

  5. abstract def capture[A](name: String, document: Document, terminal: Terminal)(block: => A): A

    Creates an automatic edit from tracing events on a document and terminal.

    Creates an automatic edit from tracing events on a document and terminal. The edit, if not empty, will be added to the history before returning.

    name

    the name of the resulting edit

    document

    the document to temporarily trace

    terminal

    the terminal to temporarily trace

    block

    an action that produces events as a side effect. These events will make up the edit.

  6. abstract def clear(): Unit

    Clears the history, removing all edits.

    Clears the history, removing all edits. Afterwards, canUndo and canRedo will return false.

  7. abstract def redo(): Unit

    Throws an exception if !canRedo

  8. abstract def redoName: String

    Throws an exception if !canRedo

  9. abstract def undo(): Unit

    Throws an exception if !canUndo

  10. abstract def undoName: String

    Throws an exception if !canUndo

Concrete Value Members

  1. final def !=(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.CloneNotSupportedException]) @native()
  6. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  7. def equals(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef → Any
  8. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.Throwable])
  9. final def getClass(): Class[_ <: AnyRef]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  10. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  11. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  12. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  13. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  14. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  15. def notifyObservers(): Unit
    Definition Classes
    Observable
  16. def onChange(action: => Unit): Unit
    Definition Classes
    Observable
  17. final def synchronized[T0](arg0: => T0): T0
    Definition Classes
    AnyRef
  18. def toString(): String
    Definition Classes
    AnyRef → Any
  19. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  20. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException])
  21. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Observable

Inherited from AnyRef

Inherited from Any

Ungrouped