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 |
|