Hanami backend/fi.aalto.cs.hanami.preferences/UserPreferences/UserPreferences

UserPreferences

constructor(locale: String? = null, themeMode: String? = null, codeThemeMode: String? = null, lightCodeTheme: String? = null, darkCodeTheme: String? = null, filters: JsonObject = JsonObject(emptyMap()), updatedAtMillis: Long? = null)(source)