summaryrefslogtreecommitdiff
path: root/public/views
diff options
context:
space:
mode:
authorWu Cheng-Han2016-12-04 00:56:14 +0800
committerWu Cheng-Han2016-12-04 00:56:14 +0800
commitda46a3696bfe4b7f7194888fbd9627514bbda3a4 (patch)
tree4826f4a97bd5ba6f355b908cac3c410d55e1d6c8 /public/views
parent778b6f32b3e46c003f47b4b380cfd64aaff91a93 (diff)
Add preferences to editor status bar and make allow override browser keymap option
Diffstat (limited to 'public/views')
-rw-r--r--public/views/statusbar.html8
1 files changed, 8 insertions, 0 deletions
diff --git a/public/views/statusbar.html b/public/views/statusbar.html
index 40822baa..068b8d62 100644
--- a/public/views/statusbar.html
+++ b/public/views/statusbar.html
@@ -5,6 +5,14 @@
</div>
<div class="status-indicators">
<div class="status-length"></div>
+ <div class="status-preferences dropup toggle-dropdown pull-right">
+ <a id="preferencesLabel" class="ui-preferences-label text-uppercase" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false" title="Click to change preferences">
+ <i class="fa fa-wrench fa-fw"></i>
+ </a>
+ <ul class="dropdown-menu" aria-labelledby="preferencesLabel">
+ <li class="ui-preferences-override-browser-keymap"><a><label>Allow override browser keymap&nbsp;&nbsp;<input type="checkbox"></label></a></li>
+ </ul>
+ </div>
<div class="status-keymap dropup pull-right">
<a id="keymapLabel" class="ui-keymap-label text-uppercase" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false" title="Click to change keymap">
Sublime