]>
2020-03-27 | Reino Ruusu | Remove misplaced pop-up menu command 48/4048/1 | blob | commitdiff | raw |
2019-10-08 | Reino Ruusu | Some tweaks to the element selection query view 19/3319/1 | blob | commitdiff | raw | diff to current |
2019-02-13 | Reino Ruusu | UI for diagram element selection 38/2638/5 | blob | commitdiff | raw | diff to current |