Commit graph

13 commits

Author SHA1 Message Date
Pieter Vander Vennet
2e7688a554 Add preferences panel 2020-08-07 16:01:18 +02:00
Pieter Vander Vennet
bd43e2537f Various small fixes 2020-08-07 00:45:33 +02:00
Pieter Vander Vennet
2bfeb67a3a Small changes, add version number 2020-08-06 23:49:35 +02:00
Pieter Vander Vennet
963949f86a Small bugfixes on saving elements, fix #83 2020-08-06 21:06:50 +02:00
Pieter Vander Vennet
7d65c84513 Fix space, add trim warning (fix #85) 2020-08-06 19:42:10 +02:00
Pieter Vander Vennet
dd8f5e549e Small fixes 2020-07-31 21:54:30 +02:00
Pieter Vander Vennet
77ad4ef666 Removed some obsolete code 2020-07-31 18:38:14 +02:00
Pieter Vander Vennet
7ec00a3301 Add a personal, configurable quest 2020-07-31 16:17:16 +02:00
Pieter Vander Vennet
9c42839f01 Add custom theme for advanced users 2020-07-31 04:58:58 +02:00
Pieter Vander Vennet
004eead4ee Refactoring: introduction of global state to simplify getting common objects 2020-07-31 01:45:54 +02:00
Pieter Vander Vennet
afaaaaadb1 Add smoothness, add highlighting of a way 2020-07-30 16:34:06 +02:00
Pieter Vander Vennet
e074d9c3e9 Small tweaks and more layouts 2020-07-30 09:59:30 +02:00
Pieter Vander Vennet
5d5cf67820 Restructuring 2020-07-30 00:59:08 +02:00