UndoableEditReceiver.Listener (OpenJUMP 2.4.0 API)

Enclosing class:: UndoableEditReceiver

public static interface UndoableEditReceiver.Listener

Method Summary

Modifier and Type

Method

Description

void

undoHistoryChanged()

void

undoHistoryTruncated()

Method Details
- undoHistoryChanged
  
  void undoHistoryChanged()
- undoHistoryTruncated
  
  void undoHistoryTruncated()