Rename theme

This commit is contained in:
syuilo 2019-04-24 14:44:28 +09:00
parent ea42890fa1
commit f910613861
2 changed files with 3 additions and 3 deletions

View File

@ -19,7 +19,7 @@ export const cafeTheme: Theme = require('../themes/cafe.json5');
export const japaneseSushiSetTheme: Theme = require('../themes/japanese-sushi-set.json5');
export const gruvboxDarkTheme: Theme = require('../themes/gruvbox-dark.json5');
export const monokaiTheme: Theme = require('../themes/monokai.json5');
export const colorfulTheme: Theme = require('../themes/colorful.json5');
export const vividTheme: Theme = require('../themes/vivid.json5');
export const rainyTheme: Theme = require('../themes/rainy.json5');
export const mauveTheme: Theme = require('../themes/mauve.json5');
export const grayTheme: Theme = require('../themes/gray.json5');
@ -35,7 +35,7 @@ export const builtinThemes = [
japaneseSushiSetTheme,
gruvboxDarkTheme,
monokaiTheme,
colorfulTheme,
vividTheme,
rainyTheme,
mauveTheme,
grayTheme,

View File

@ -1,7 +1,7 @@
{
id: '2d066d6e-bd39-4f23-bd48-686d5c1c6ae8',
name: 'Colorful',
name: 'Vivid',
author: 'syuilo',
base: 'light',