Adds a Monokai theme (#1669)

* Adds a new Monokai theme * Deletes a commented-out line
2022-03-26 21:14:13 -04:00
parent 2ddd3acba6
commit e7cf74d863
3 changed files with 152 additions and 0 deletions
@@ -4,6 +4,7 @@ import ExtraDarkTheme from './extradark'
 import GreenTheme from './green'
 import SpotifyTheme from './spotify'
 import LigeraTheme from './ligera'
+import MonokaiTheme from './monokai'

 export default {
  // Classic default themes
@@ -14,5 +15,6 @@ export default {
  ExtraDarkTheme,
  GreenTheme,
  LigeraTheme,
+  MonokaiTheme,
  SpotifyTheme,
 }