Merge pull request #28497 from overleaf/mj-system-editor-theme-dark-light-split

[web] Split editor theme into two when using system overall theme

GitOrigin-RevId: 1efa5553fdff8a17de634017882feb2ede614cd6
This commit is contained in:
Mathias Jakobsen
2025-12-12 09:05:10 +00:00
committed by Copybot
parent 96a071dd04
commit b554b0cfcc
20 changed files with 476 additions and 42 deletions
+2
View File
@@ -9,6 +9,8 @@ export type UserSettings = {
autoPairDelimiters: boolean
syntaxValidation: boolean
editorTheme: string
editorLightTheme: string
editorDarkTheme: string
overallTheme: OverallTheme
mode: Keybindings
fontSize: number