mirror of
https://github.com/JustinZeus/Wholphin.git
synced 2026-07-08 23:51:21 +02:00
Preferences updates
This commit is contained in:
parent
54bdb25d49
commit
60de501851
25 changed files with 1544 additions and 56 deletions
|
|
@ -3,8 +3,17 @@ syntax = "proto3";
|
|||
option java_package = "com.github.damontecres.dolphin.preferences";
|
||||
option java_multiple_files = true;
|
||||
|
||||
message UserPreferences {
|
||||
message PlaybackPreferences {
|
||||
int64 skip_forward_ms = 1;
|
||||
int64 skip_back_ms = 2;
|
||||
int64 controller_timeout_ms = 3;
|
||||
int32 seek_bar_steps = 4;
|
||||
}
|
||||
|
||||
message AppPreferences {
|
||||
// The currently signed in server and user IDs, mostly for restoring a session
|
||||
string current_server_id = 1;
|
||||
string current_user_id = 2;
|
||||
}
|
||||
|
||||
PlaybackPreferences playback_preferences = 3;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue