UndoableEditReceiver.Listener (OpenJUMP 2.4.0 API)

Enclosing class:: UndoableEditReceiver

public static interface UndoableEditReceiver.Listener

- Method Summary
  
  All Methods Instance Methods Abstract Methods
  Modifier and Type Method Description
  
  void undoHistoryChanged()
  
  void undoHistoryTruncated()

Method Detail

undoHistoryChanged
```
void undoHistoryChanged()
```

undoHistoryTruncated
```
void undoHistoryTruncated()
```