Viewing all changes in revision 1134.
- Committer: Jiri Srba
- Date: 2021-10-11 20:02:07 UTC
- mfrom: (1126.2.23 tapaal)
- Revision ID: srba@cs.aau.dk-20211011200207-hfhfb3avv0kg2wq1
merged in lp:~tapaal-contributor/tapaal/shortcut-undo-1941839 and the ctrl-Z and ctrl-Y shortcuts now work in the query dialog
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
