add user settings

This commit is contained in:
zkldi
2021-08-30 00:29:41 +01:00
parent dd7f187b64
commit a252e1eb64
+8
View File
@@ -1398,3 +1398,11 @@ export interface BatchManual<I extends IDStrings = IDStrings> {
};
scores: BatchManualScore<I>[];
}
export interface UserSettings {
userID: integer;
preferences: {
invisible: boolean;
developerMode: boolean;
};
}