HistoryImpl

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( ... )

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

    

    Definition Classes

    AnyRef

13. def equals(arg0: Any): 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[_]

    

    Definition Classes

    AnyRef → Any

16. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

20. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )