Dear Maintainer,
* What led up to the situation?
Installing tipp10 with apt, starting tipp10, changing settings and restarting
tipp10.
* What exactly did you do (or not do) that was effective (or
ineffective)?
After starting tipp10 for the first time, I have opened its settings dialog and
set the keyboard layout to "Deutschland | NEO Version 2" and the lecture type
to "Deutsch | NEO Version 2". I also disactivated the welcome screen.
I then saved the settings.
* What was the outcome of this action?
After restarting tipp10, the welcome screen loads up again and all the settings
are back to their defaults.
Some more details:
while testing, I found that tipp10 _does_ in fact honor and remember a custom
path to its db file. All other settings that I tested have been reset after
restarting tipp10. I also noticed that the settings file at "~/.config/Tom
Thielicke IT Solutions/TIPP10.conf" looks weird after saving new settings:
there are two [%General] sections with contradicting values.
FWIW: removing the unwanted General section and/or modifying the settings file
directly does not change anything.
Thank you for your consideration. Please let me know if there is something else
I can check or try.