7 Commits (8f5b1b07b85dfccce4aac500ef5d1e5d98b34ac1)

Author SHA1 Message Date
Jannis Weis 8638d9d0bd
Require Java 17 4 months ago
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