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 | 14 |
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> |