[Client] Add Monokai theme 🎨

This commit is contained in:
syuilo
2018-12-30 09:21:23 +09:00
parent fcb3ba9947
commit 8bbff90aca
2 changed files with 27 additions and 1 deletions

View File

@ -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) {