diff options
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 | 20 |
1 files changed, 18 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 6698baa9..4a6cfa59 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 | |||
@@ -39,7 +39,8 @@ | |||
39 | "zoomHottext":{"@":"zoomHottext"}, | 39 | "zoomHottext":{"@":"zoomHottext"}, |
40 | "format":{"#": "format"}, | 40 | "format":{"#": "format"}, |
41 | "comment":{"#":"comment"}, | 41 | "comment":{"#":"comment"}, |
42 | "uncomment":{"#":"uncomment"} | 42 | "uncomment":{"#":"uncomment"}, |
43 | "themeSelect":{"#":"themeSelect"} | ||
43 | } | 44 | } |
44 | } | 45 | } |
45 | } | 46 | } |
@@ -54,10 +55,25 @@ | |||
54 | <span>Automatic Completion</span> | 55 | <span>Automatic Completion</span> |
55 | </div> | 56 | </div> |
56 | <div class="floatButtons"> | 57 | <div class="floatButtons"> |
57 | <!--<button id="format" value="format" class="nj-skinned format">Format</button>--> | 58 | <button id="format" value="format" class="nj-skinned format">Format</button> |
58 | <button id="comment" value="comment" class="nj-skinned format">comment</button> | 59 | <button id="comment" value="comment" class="nj-skinned format">comment</button> |
59 | <button id="uncomment" value="uncomment" class="nj-skinned format">uncomment</button> | 60 | <button id="uncomment" value="uncomment" class="nj-skinned format">uncomment</button> |
60 | </div> | 61 | </div> |
62 | <div class="themeOptions"> | ||
63 | <span>Theme</span> | ||
64 | <select id="themeSelect"> | ||
65 | <option value="default" selected="">DEFAULT</option> | ||
66 | <option value="night">NIGHT</option> | ||
67 | <option value="monokai" >MONOKAI</option> | ||
68 | <option value="neat" >NEAT</option> | ||
69 | <option value="elegant" >ELEGANT</option> | ||
70 | <option value="cobalt" >COBALT</option> | ||
71 | <option value="eclipse" >ECLIPSE</option> | ||
72 | <option value="rubyblue" >RUBYBLUE</option> | ||
73 | <option value="lesser-dark" >LESSER-DARK</option> | ||
74 | <option value="xq-dark" >XQ-DARK</option> | ||
75 | </select> | ||
76 | </div> | ||
61 | </div> | 77 | </div> |
62 | </div> | 78 | </div> |
63 | </body> | 79 | </body> |