src/settingseditor/settingseditor.ui
| Tue, 07 Jun 2022 20:44:19 +0300 | Teemu Piippo | Replaced the tab widget with an MDI area | file | diff | annotate |
| Fri, 07 Feb 2020 01:58:34 +0200 | Teemu Piippo | added selection highlighting | file | diff | annotate |
| Sun, 02 Feb 2020 00:58:59 +0200 | Teemu Piippo | added configurable line anti-aliasing | file | diff | annotate |
| Sun, 02 Feb 2020 00:51:06 +0200 | Teemu Piippo | added configurable line thickness | file | diff | annotate |
| Sat, 01 Feb 2020 17:20:10 +0200 | Teemu Piippo | added configurable background color | file | diff | annotate |
| Sat, 01 Feb 2020 17:10:11 +0200 | Teemu Piippo | Main color is now configurable | file | diff | annotate |
| Fri, 08 Nov 2019 19:05:07 +0200 | Teemu Piippo | things | file | diff | annotate |
| Sat, 05 Oct 2019 23:47:03 +0300 | Teemu Piippo | added the settings editor | file | diff | annotate |
