aboutsummaryrefslogtreecommitdiff
path: root/js/code-editor
diff options
context:
space:
mode:
Diffstat (limited to 'js/code-editor')
-rw-r--r--js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html14
1 files changed, 7 insertions, 7 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 1fa0d783..14d6cb55 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
@@ -45,21 +45,21 @@
45 </script> 45 </script>
46</head> 46</head>
47<body> 47<body>
48<div id="viewOptions" class="viewOptions"> 48<div data-montage-id="viewOptions" class="viewOptions">
49 <div> 49 <div>
50 <input class="zoomFont" id="zoomFont"/> 50 <input class="zoomFont" data-montage-id="zoomFont"/>
51 <div class="autoCodeComplete" > 51 <div class="autoCodeComplete" >
52 <input type="checkbox" id="codeComplete" /> 52 <input type="checkbox" data-montage-id="codeComplete" />
53 <span>Automatic Completion</span> 53 <span>Automatic Completion</span>
54 </div> 54 </div>
55 <div class="floatButtons"> 55 <div class="floatButtons">
56 <!--<button disabled="disabled" id="format" value="format" class="nj-skinned format">Format</button>--> 56 <!--<button disabled="disabled" id="format" value="format" class="nj-skinned format">Format</button>-->
57 <button id="comment" value="comment" class="nj-skinned format">comment</button> 57 <button data-montage-id="comment" value="comment" class="nj-skinned format">comment</button>
58 <button id="uncomment" value="uncomment" class="nj-skinned format">uncomment</button> 58 <button data-montage-id="uncomment" value="uncomment" class="nj-skinned format">uncomment</button>
59 </div> 59 </div>
60 <div class="themeOptions"> 60 <div class="themeOptions">
61 <span>Theme :</span> 61 <span>Theme :</span>
62 <select id="themeSelect"> 62 <select data-montage-id="themeSelect">
63 <option value="default" selected="">DEFAULT</option> 63 <option value="default" selected="">DEFAULT</option>
64 <option value="night">NIGHT</option> 64 <option value="night">NIGHT</option>
65 <option value="monokai" >MONOKAI</option> 65 <option value="monokai" >MONOKAI</option>
@@ -72,7 +72,7 @@
72 <option value="xq-dark" >XQ-DARK</option> 72 <option value="xq-dark" >XQ-DARK</option>
73 </select> 73 </select>
74 </div> 74 </div>
75 <div id="shortKeys" class="shortKeys"> 75 <div data-montage-id="shortKeys" class="shortKeys">
76 <div class="list hide"> 76 <div class="list hide">
77 <div><span class="shortKey">ctrl+space :</span> <span class="shortKeyDesc">code hints</span></div> 77 <div><span class="shortKey">ctrl+space :</span> <span class="shortKeyDesc">code hints</span></div>
78 <div><span class="shortKey">ctrl+/ :</span> <span class="shortKeyDesc">comment selection</span></div> 78 <div><span class="shortKey">ctrl+/ :</span> <span class="shortKeyDesc">comment selection</span></div>