Viewing all changes in revision 1072.
- Committer: srba.jiri at gmail
- Date: 2020-08-04 07:59:59 UTC
- mfrom: (1071.1.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20200804075959-6162grjmfqzco88d
merged in lp:~tapaal-contributor/tapaal/fix-1890247 fixing NPE when closing a query dialog and query is empty
- files modified:
- src/pipe/gui/widgets/QueryPane.java
expand all
collapse all
added
removed
