View: Introduce settings_restored_
authorSoeren Apel <soeren@apelpie.net>
Tue, 6 Jun 2017 13:57:27 +0000 (15:57 +0200)
committerSoeren Apel <soeren@apelpie.net>
Tue, 6 Jun 2017 14:17:26 +0000 (16:17 +0200)
This way, UI elements can decide whether they can change UI
settings or whether they are already using user-set values.


No differences found