Markus Heiser 076c6889d3 [fix] simple theme: open preferences with general tab 3 years ago
..
__common__ 05149db4c1 [help] render user documentation once on startup 3 years ago
oscar dbe3eaabc9 Info: code refactoring & bug fixes 3 years ago
simple 076c6889d3 [fix] simple theme: open preferences with general tab 3 years ago