Merge lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 into lp:tapaal
Proposed by
Kristian Morsing Pedersen
Status: | Superseded | ||||
---|---|---|---|---|---|
Proposed branch: | lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 | ||||
Merge into: | lp:tapaal | ||||
Diff against target: |
45 lines (+27/-4) 1 file modified
src/pipe/gui/widgets/QueryPane.java (+27/-4) |
||||
To merge this branch: | bzr merge lp:~tapaal-contributor/tapaal/show-query-on-mouse-over-1947037 | ||||
Related bugs: |
|
Reviewer | Review Type | Date Requested | Status |
---|---|---|---|
Jiri Srba | Pending | ||
Review via email: mp+410473@code.launchpad.net |
This proposal has been superseded by a proposal from 2021-10-24.
Commit message
Now shows the query in the tooltip
Description of the change
In the query panel, if you hover your mouse over a given query name it will show a peek of the query in the tooltip text.
To post a comment you must log in.
This looks very nice, however, the line breaks can happen in the middle of a place name for example. It would be nice, after exceeding 80 characters, to place the line break <br> once a first empty space if ound. Also instead of width 80, we could go little bit wider, say to 100.