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.  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.

   Definition Classes

   HistoryImpl → History

5.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

6.  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.

   Definition Classes

   HistoryImpl → History

7.  def canRedo: Boolean

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

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

   Definition Classes

   HistoryImpl → History

8.  def canUndo: Boolean

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

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

   Definition Classes

   HistoryImpl → History

9.  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.

   Definition Classes

   HistoryImpl → History

10.  def clear(): Unit

    Clears the history, removing all edits.

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

    Definition Classes

    HistoryImpl → History

11.  def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.CloneNotSupportedException]) @native()

12.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

13.  def equals(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef → Any

14.  def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.Throwable])

15.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

16.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

17.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

18.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

19.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

20.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

21.  def notifyObservers(): Unit

    Definition Classes

    Observable

22.  def onChange(action: => Unit): Unit

    Definition Classes

    Observable

23.  def redo(): Unit

    Throws an exception if !canRedo

    Throws an exception if !canRedo

    Definition Classes

    HistoryImpl → History

24.  def redoName: String

    Throws an exception if !canRedo

    Throws an exception if !canRedo

    Definition Classes

    HistoryImpl → History

25.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

26.  def toString(): String

    Definition Classes

    AnyRef → Any

27.  def undo(): Unit

    Throws an exception if !canUndo

    Throws an exception if !canUndo

    Definition Classes

    HistoryImpl → History

28.  def undoName: String

    Throws an exception if !canUndo

    Throws an exception if !canUndo

    Definition Classes

    HistoryImpl → History

29.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

30.  final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

31.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()