6 Commits (b59813a48b9a35e69a1a076b1e1c1f1694340c17)

Author SHA1 Message Date
Jannis Weis ce4d8c081d
Initialize ThemePreferenceProvider in SystemPreferencesManager 3 years ago
Jannis Weis 48af720e7d
Move implementation of decorations into platform-decorations 3 years ago
Jannis Weis dcb94bba42
Update comment about having to disable reporting before program exit 3 years ago
Jannis Weis 98efc1ca1e
Notify listeners when reporting is enabled 3 years ago
Jannis Weis 99833fcd04
Make platform.preferences usable as a standalone module 3 years ago
Jannis Weis 63c5a1b836
Extract system preference reporting mechanism to own module 3 years ago