← Back to branch summary

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

~tapaal-contributor/tapaal/unselect-objects-after-undo-1894108

Viewing all changes in revision 1095.

Committer: lsaid
Date: 2020-09-03 19:42:59 UTC
Revision ID: lena.said@hotmail.com-20200903194259-7yy6adubu0vu3jlh

Objects are no longer selected after undoing delete

files modified:
src/pipe/gui/undo/DeleteAnnotationNoteCommand.java

src/pipe/gui/undo/DeleteArcPathPointEdit.java

src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java

src/pipe/gui/undo/DeleteTimedInputArcCommand.java

src/pipe/gui/undo/DeleteTimedOutputArcCommand.java

src/pipe/gui/undo/DeleteTimedPlaceCommand.java

src/pipe/gui/undo/DeleteTimedTransitionCommand.java

src/pipe/gui/undo/DeleteTransportArcCommand.java

Show diffs side-by-side

added added

removed removed

src/pipe/gui/undo/DeleteAnnotationNoteCommand.java

src/pipe/gui/undo/DeleteArcPathPointEdit.java

src/pipe/gui/undo/DeleteTimedInhibitorArcCommand.java

src/pipe/gui/undo/DeleteTimedInputArcCommand.java

src/pipe/gui/undo/DeleteTimedOutputArcCommand.java

src/pipe/gui/undo/DeleteTimedPlaceCommand.java

src/pipe/gui/undo/DeleteTimedTransitionCommand.java

src/pipe/gui/undo/DeleteTransportArcCommand.java

Older »