provide some non-default settings to GTK3 apps
authorRalf Jung <post@ralfj.de>
Tue, 7 May 2024 14:44:46 +0000 (16:44 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 7 May 2024 14:44:46 +0000 (16:44 +0200)
commitdedc0b1457e8991555d8031c1da687cbdaed83ae
tree0c421fdcd738245a05341d886a29ae9446cff5c0
parent27fecd30b8dc7969e9cd10d9f09b62b5eda374c9
provide some non-default settings to GTK3 apps
profiles.py