2019-08-15 | further ui improvements (alignment & keyboard shortcuts) | blob | diff | raw | |
2019-08-15 | UI layout adjustments | blob | diff | raw | diff to current | |
2019-08-15 | change defaults, make foreground colour user-selectable | blob | diff | raw | diff to current | |
2017-07-09 | Initial commit | blob | diff | raw | diff to current | |