2021-01-14 | freddii | fixed wrong spelled words | blob | commitdiff | raw |
2019-02-05 | Klaus Ethgen | Merge merge requests 641, 638, 630 and 627 | blob | commitdiff | raw | diff to current |
2018-10-06 | Klaus Ethgen | Merge merge requests for completeness | blob | commitdiff | raw | diff to current |
2018-10-06 | Klaus Ethgen | Merge branch merge-requests/637 for completeness | blob | commitdiff | raw | diff to current |
2018-10-02 | Colin Clark | Simplify OSD settings in Preferences | blob | commitdiff | raw | diff to current |
2018-08-26 | Colin Clark | Option to hide predefined keyword tree | blob | commitdiff | raw | diff to current |