2019-12-16 | Good Guy | port 7.2 mods: align_edits foreground plugin refresh_fr... | blob | commitdiff | raw |
2019-11-03 | Good Guy | fix segv for plugin render_gui when plugin moved up... | blob | commitdiff | raw | diff to current |
2019-01-07 | Good Guy | group edge handle drag, expanders.txt, delete spurious... | blob | commitdiff | raw | diff to current |
2018-12-27 | Good Guy | drag+drop honours labels/plugins/autos, new drag icon... | blob | commitdiff | raw | diff to current |
2018-10-30 | Good Guy | initial commit | blob | commitdiff | raw | diff to current |