diff options
author | Wu Cheng-Han | 2016-12-04 00:56:14 +0800 |
---|---|---|
committer | Wu Cheng-Han | 2016-12-04 00:56:14 +0800 |
commit | da46a3696bfe4b7f7194888fbd9627514bbda3a4 (patch) | |
tree | 4826f4a97bd5ba6f355b908cac3c410d55e1d6c8 /public/views | |
parent | 778b6f32b3e46c003f47b4b380cfd64aaff91a93 (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.html | 8 |
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 <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 |