mirror of
https://github.com/aykhans/slash-e.git
synced 2025-07-04 04:23:16 +00:00
refactor: workspace setting definitions
This commit is contained in:
@ -10,32 +10,30 @@ message UserSetting {
|
||||
UserSettingKey key = 2;
|
||||
|
||||
oneof value {
|
||||
UserSettingGeneral general = 3;
|
||||
GeneralSetting general = 3;
|
||||
AccessTokensSetting access_tokens = 4;
|
||||
}
|
||||
|
||||
UserSettingAccessTokens access_tokens = 4;
|
||||
message GeneralSetting {
|
||||
string locale = 1;
|
||||
string color_theme = 2;
|
||||
}
|
||||
|
||||
message AccessTokensSetting {
|
||||
message AccessToken {
|
||||
// The access token is a JWT token, including expiration time, issuer, etc.
|
||||
string access_token = 1;
|
||||
// A description for the access token.
|
||||
string description = 2;
|
||||
}
|
||||
repeated AccessToken access_tokens = 1; // Nested repeated field
|
||||
}
|
||||
}
|
||||
|
||||
enum UserSettingKey {
|
||||
USER_SETTING_KEY_UNSPECIFIED = 0;
|
||||
// General settings for the user.
|
||||
GENERAL = 1;
|
||||
// Access tokens for the user.
|
||||
ACCESS_TOKENS = 2;
|
||||
}
|
||||
|
||||
message UserSettingGeneral {
|
||||
string locale = 1;
|
||||
string color_theme = 2;
|
||||
}
|
||||
|
||||
message UserSettingAccessTokens {
|
||||
message AccessToken {
|
||||
// The access token is a JWT token.
|
||||
// Including expiration time, issuer, etc.
|
||||
string access_token = 1;
|
||||
// A description for the access token.
|
||||
string description = 2;
|
||||
}
|
||||
repeated AccessToken access_tokens = 1;
|
||||
// User general settings.
|
||||
USER_SETTING_GENERAL = 1;
|
||||
// User access tokens.
|
||||
USER_SETTING_ACCESS_TOKENS = 2;
|
||||
}
|
||||
|
Reference in New Issue
Block a user