aboutsummaryrefslogtreecommitdiff
path: root/js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html
diff options
context:
space:
mode:
authorAnanya Sen2012-04-30 13:22:23 -0700
committerAnanya Sen2012-04-30 13:22:23 -0700
commit0e67024be5993049ea6acd9add96b76be6017a4d (patch)
tree5a5667a65ac5c14a42f8f7395cd306915a66a565 /js/code-editor/ui/code-editor-view-options.reel/code-editor-view-options.html
parentaa35d31fa94f844586581c770913858bd15af505 (diff)
downloadninja-0e67024be5993049ea6acd9add96b76be6017a4d.tar.gz
IKNINJA-1562 : override font-size for some themes to allow xooming
Signed-off-by: Ananya Sen <Ananya.Sen@motorola.com>
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.html6
1 files changed, 3 insertions, 3 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 8a46a0b1..d207ea23 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
@@ -75,9 +75,9 @@
75 </div> 75 </div>
76 <div id="shortKeys" class="shortKeys"> 76 <div id="shortKeys" class="shortKeys">
77 <div class="list hide"> 77 <div class="list hide">
78 <div><span>ctrl+space : code hints</span></div> 78 <div><span class="shortKey">ctrl+space :</span> <span class="shortKeyDesc">code hints</span></div>
79 <div><span>ctrl+/ : comment selection</span></div> 79 <div><span class="shortKey">ctrl+/ :</span> <span class="shortKeyDesc">comment selection</span></div>
80 <div><span>ctrl+shift+/ : uncomment selection</span></div> 80 <div><span class="shortKey">ctrl+shift+/ :</span> <span class="shortKeyDesc">uncomment selection</span></div>
81 </div> 81 </div>
82 <span>ShortKeys</span> 82 <span>ShortKeys</span>
83 <span class="dropdownArrow">&#9660</span> 83 <span class="dropdownArrow">&#9660</span>