diff options
author | Valerio Virgillito | 2012-07-09 17:04:31 -0700 |
---|---|---|
committer | Valerio Virgillito | 2012-07-09 17:04:31 -0700 |
commit | 2b2b5fbb4b6a786daa4e9d4ee9eba9ac78924842 (patch) | |
tree | 64cb3e09a8daeb340261dd7f3869c73f7b90b643 /js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html | |
parent | cee0deca695359ab468bd06d0e05ed3b2010b338 (diff) | |
parent | 2eb84584f44b8c774479d1af2ee1d810597474cf (diff) | |
download | ninja-2b2b5fbb4b6a786daa4e9d4ee9eba9ac78924842.tar.gz |
Merge pull request #380 from ananyasen/codemirror-custom-theme-removal
Codemirror custom theme removal
Diffstat (limited to 'js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html')
-rw-r--r-- | js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html b/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html index 086e3817..0397e3b3 100644 --- a/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html +++ b/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html | |||
@@ -101,8 +101,6 @@ POSSIBILITY OF SUCH DAMAGE. | |||
101 | <option value="cobalt" >COBALT</option> | 101 | <option value="cobalt" >COBALT</option> |
102 | <option value="eclipse" >ECLIPSE</option> | 102 | <option value="eclipse" >ECLIPSE</option> |
103 | <option value="rubyblue" >RUBYBLUE</option> | 103 | <option value="rubyblue" >RUBYBLUE</option> |
104 | <option value="lesser-dark" >LESSER-DARK</option> | ||
105 | <option value="xq-dark" >XQ-DARK</option> | ||
106 | </select> | 104 | </select> |
107 | </div> | 105 | </div> |
108 | <div data-montage-id="shortKeys" class="shortKeys"> | 106 | <div data-montage-id="shortKeys" class="shortKeys"> |