2 commits

Author	SHA1	Message	Date
Cameron Youell	d972338208	Browser: Add more intuitive search	2023-08-17 15:30:23 +01:00
Ben Wiederhake	2420effa7d	Browser: Store default config values in a single place ... Note that this fixes contradictory default values for group "Preferences", key "Home". This is exactly the kind of errors I want to prevent with this new style. The hope is that this can later be used to: - verify that all accesses to the same key use the same default value, - and extract the default values more easily.	2023-06-06 00:47:23 +02:00