Viewing all changes in revision 1133.
- Committer: Jiri Srba
- Date: 2021-08-08 17:10:57 UTC
- mfrom: (1130.3.2 register-arrow-keys-after-simulation-1938868)
- Revision ID: srba@cs.aau.dk-20210808171057-nd4q5i35xgwhwgue
merged in lp:~tapaal-contributor/tapaal/register-arrow-keys-simulation-1938868 fixing behaviour of left\right arrow keys after leaving simulation mode
- files modified:
- src/dk/aau/cs/gui/TabContent.java
expand all
collapse all
added
removed
