Merge remote-tracking branch 'origin/GP-3521_ghidragon_allow_user_to_see_and_pick_older_undos_or_redos--SQUASHED'

This commit is contained in:
Ryan Kurtz 2023-06-14 07:49:31 -04:00
commit d98ae48110
14 changed files with 303 additions and 115 deletions

View file

@ -307,8 +307,8 @@ public class EmptyVTSession implements VTSession {
}
@Override
public void saveToPackedFile(File outputFile, TaskMonitor monitor) throws IOException,
CancelledException {
public void saveToPackedFile(File outputFile, TaskMonitor monitor)
throws IOException, CancelledException {
// do nothing
}
@ -372,6 +372,16 @@ public class EmptyVTSession implements VTSession {
// do nothing
}
@Override
public List<String> getAllRedoNames() {
return Collections.emptyList();
}
@Override
public List<String> getAllUndoNames() {
return Collections.emptyList();
}
@Override
public void removeTransactionListener(TransactionListener listener) {
// do nothing