Viewing all changes in revision 1065.
- Committer: Jiri Srba
- Date: 2020-07-08 11:01:27 UTC
- mfrom: (1064.1.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20200708110127-ekx5syc1t3920qpm
merged in lp:~tapaal-contributor/tapaal/statistics-position-resets-1884365 fixing position of statistics pannel after execution of removal of orphan transitions/places
- files modified:
- src/dk/aau/cs/gui/components/StatisticsPanel.java
expand all
collapse all
added
removed
