Viewing all changes in revision 1157.
- Committer: Jiri Srba
- Date: 2021-11-05 21:28:17 UTC
- mfrom: (1153.1.5 tapaal)
- Revision ID: srba@cs.aau.dk-20211105212817-tbmki2ch6tckjj46
merged in lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 showing query string on mouseover
- files modified:
- src/pipe/gui/widgets/QueryPane.java
expand all
collapse all
added
removed
