Hanami backend
Toggle table of contents
2026.7.0
jvm
Target filter
jvm
Switch theme
Search in API
Skip to content
Hanami backend
Hanami backend
/
fi.aalto.cs.hanami.preferences
/
UserPreferencesPatch
User
Preferences
Patch
@
Serializable
data
class
UserPreferencesPatch
(
val
locale
:
String
?
=
null
,
val
themeMode
:
String
?
=
null
,
val
codeThemeMode
:
String
?
=
null
,
val
lightCodeTheme
:
String
?
=
null
,
val
darkCodeTheme
:
String
?
=
null
,
val
filters
:
JsonObject
?
=
null
)
(
source
)
Members
Constructors
User
Preferences
Patch
Link copied to clipboard
constructor
(
locale
:
String
?
=
null
,
themeMode
:
String
?
=
null
,
codeThemeMode
:
String
?
=
null
,
lightCodeTheme
:
String
?
=
null
,
darkCodeTheme
:
String
?
=
null
,
filters
:
JsonObject
?
=
null
)
Properties
code
Theme
Mode
Link copied to clipboard
val
codeThemeMode
:
String
?
dark
Code
Theme
Link copied to clipboard
val
darkCodeTheme
:
String
?
filters
Link copied to clipboard
val
filters
:
JsonObject
?
light
Code
Theme
Link copied to clipboard
val
lightCodeTheme
:
String
?
locale
Link copied to clipboard
val
locale
:
String
?
theme
Mode
Link copied to clipboard
val
themeMode
:
String
?