diff options
Diffstat (limited to 'src/client/app/theme.ts')
| -rw-r--r-- | src/client/app/theme.ts | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/client/app/theme.ts b/src/client/app/theme.ts index d53bad7141..3a7627c50c 100644 --- a/src/client/app/theme.ts +++ b/src/client/app/theme.ts @@ -18,6 +18,7 @@ export const halloweenTheme: Theme = require('../theme/halloween.json5'); export const cafeTheme: Theme = require('../theme/cafe.json5'); export const japaneseSushiSetTheme: Theme = require('../theme/japanese-sushi-set.json5'); export const gruvboxDarkTheme: Theme = require('../theme/gruvbox-dark.json5'); +export const monokaiTheme: Theme = require('../theme/monokai.json5'); export const builtinThemes = [ lightTheme, @@ -27,7 +28,8 @@ export const builtinThemes = [ halloweenTheme, cafeTheme, japaneseSushiSetTheme, - gruvboxDarkTheme + gruvboxDarkTheme, + monokaiTheme ]; export function applyTheme(theme: Theme, persisted = true) { |