aboutsummaryrefslogtreecommitdiff
path: root/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html
diff options
context:
space:
mode:
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.html20
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>