Viewing all changes in revision 1160.
- Committer: Jiri Srba
- Date: 2021-11-20 20:34:43 UTC
- mfrom: (1153.5.1 tapaal)
- Revision ID: srba@cs.aau.dk-20211120203443-c6nvqnye7yuf1x3b
merged in lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 disableling toggle urgent transition (U) in simulation mode
- files modified:
- src/dk/aau/cs/gui/TabContent.java
expand all
collapse all
added
removed
