diff options
Diffstat (limited to 'lib/codemirror/cm.bzl')
| -rw-r--r-- | lib/codemirror/cm.bzl | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/lib/codemirror/cm.bzl b/lib/codemirror/cm.bzl index 10de23d4c8..593caa3062 100644 --- a/lib/codemirror/cm.bzl +++ b/lib/codemirror/cm.bzl @@ -55,11 +55,14 @@ CM_THEMES = [ "eclipse", "elegant", "erlang-dark", + "gruvbox-dark", "hopscotch", "icecoder", + "idea", "isotope", "lesser-dark", "liquibyte", + "lucario", "material", "mbo", "mdn-like", @@ -75,6 +78,7 @@ CM_THEMES = [ "rubyblue", "seti", "solarized", + "ssms", "the-matrix", "tomorrow-night-bright", "tomorrow-night-eighties", @@ -214,7 +218,7 @@ CM_MODES = [ "z80", ] -CM_VERSION = "5.25.0" +CM_VERSION = "5.37.0" TOP = "META-INF/resources/webjars/codemirror/%s" % CM_VERSION @@ -231,8 +235,8 @@ DIFF_MATCH_PATCH_TOP = ("META-INF/resources/webjars/google-diff-match-patch/%s" def pkg_cm(): for archive, suffix, top, license in [ - ("@codemirror-original//jar", "", TOP, LICENSE), - ("@codemirror-minified//jar", "_r", TOP_MINIFIED, LICENSE_MINIFIED), + ("@codemirror-original-gwt//jar", "", TOP, LICENSE), + ("@codemirror-minified-gwt//jar", "_r", TOP_MINIFIED, LICENSE_MINIFIED), ]: # Main JavaScript and addons genrule2( |