Viewing all changes in revision 981.
- Committer: Jiri Srba
- Date: 2019-02-12 13:16:38 UTC
- mfrom: (978.2.1 tapaal)
- Revision ID: srba@cs.aau.dk-20190212131638-5rdhe5l2yunpag13
merged in branch lp:~tapaal-contributor/tapaal/batch-remove-button-active-1780125 that in batch processing does not disable the remove butten when models are selected
- files modified:
- src/dk/aau/cs/gui/BatchProcessingDialog.java
expand all
collapse all
added
removed
