Viewing all changes in revision 1135.
- Committer: Jiri Srba
- Date: 2021-08-12 09:52:06 UTC
- mfrom: (1134.1.1 deleting-query-expressions)
- Revision ID: srba.jiri@gmail.com-20210812095206-zl1mmzht9io6p6xl
merged in lp:~tapaal-contributor/tapaal/deleting-query-property so that deleting a selection in a query dialog now deletes the whole property that is selected
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
