Images 💾

Last commit ⭐

commit 2420effa7d52608ca50c07b7e0ab9400def60ac3
Author:     Ben Wiederhake <>
AuthorDate: Thu Jun 1 14:21:06 2023 +0200
Commit:     Jelle Raaijmakers <>
CommitDate: Tue Jun 6 00:47:23 2023 +0200

    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.