justinzeus/Wholphin
1
0
Fork 0
mirror of https://github.com/JustinZeus/Wholphin.git synced 2026-07-08 23:51:21 +02:00
Code Issues Projects Packages Wiki Activity Actions

Add preference for theme music

Browse source
This commit is contained in:
Damontecres 2025-10-03 18:37:35 -04:00
parent f8efffa3c2
commit 6f18f780eb
No known key found for this signature in database
4 changed files with 30 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

5
app/src/main/proto/DolphinDataStore.proto
View file

@ -15,6 +15,10 @@ message HomePagePreferences{
bool enable_rewatching_next_up = 2;
}
message InterfacePreferences {
bool play_theme_songs = 1;
}
message AppPreferences {
// The currently signed in server and user IDs, mostly for restoring a session
string current_server_id = 1;
@ -22,4 +26,5 @@ message AppPreferences {
PlaybackPreferences playback_preferences = 3;
HomePagePreferences home_page_preferences = 4;
InterfacePreferences interface_preferences = 5;
}