| commit | a2346d1f0af91dff6400072b58cddb777dece1b1 | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Wed Dec 31 12:51:45 2014 -0500 |
| committer | Shawn Pearce <sop@google.com> | Mon Jan 05 10:38:15 2015 -0800 |
| tree | d6a978599e71c61a12dac933d6edf4c1cc1bad29 | |
| parent | 3a52cede9287be3dadc42b69650cdd034fe60168 [diff] [blame] |
Dynamically load CodeMirror themes Most users run with the default theme, which does not require any additional CSS. The total set of themes costs 7.3 KiB of download when added into the default CSS file. Split the themes into their own files and only load the theme when it is required by the browser. Change-Id: I48f274347e1ca94895c0756fa17479661c78fd57
diff --git a/gerrit-gwtui/src/main/java/net/codemirror/CodeMirror.gwt.xml b/gerrit-gwtui/src/main/java/net/codemirror/CodeMirror.gwt.xml index 24a0f57..add033f 100644 --- a/gerrit-gwtui/src/main/java/net/codemirror/CodeMirror.gwt.xml +++ b/gerrit-gwtui/src/main/java/net/codemirror/CodeMirror.gwt.xml
@@ -20,4 +20,5 @@ <source path='lib'/> <source path='keymap'/> <source path='mode'/> + <source path='theme'/> </module>