Viewing all changes in revision 1266.
- Committer: Kenneth Yrke Joergensen
- Date: 2019-11-14 08:15:42 UTC
- Revision ID: kenneth@yrke.dk-20191114081542-oxni7wvsilxi3wtj
Removed what seems to be unneeded calls to repaint
- files modified:
- src/dk/aau/cs/gui/undo/ToggleTransitionUrgent.java
expand all
collapse all
added
removed
