mirror of
https://github.com/hedgedoc/hedgedoc.git
synced 2024-11-27 03:58:02 -05:00
41 lines
2.1 KiB
HTML
41 lines
2.1 KiB
HTML
<div class="status-bar">
|
|
<div class="status-info">
|
|
<div class="status-cursor">
|
|
<span class="status-line-column"></span>
|
|
<span class="status-selection"></span>
|
|
</div>
|
|
<div class="status-file"></div>
|
|
</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
|
|
</a>
|
|
<ul class="dropdown-menu" aria-labelledby="keymapLabel">
|
|
<li class="ui-keymap-sublime"><a>Sublime</a></li>
|
|
<li class="ui-keymap-emacs"><a>Emacs</a></li>
|
|
<li class="ui-keymap-vim"><a>Vim</a></li>
|
|
</ul>
|
|
</div>
|
|
<div class="status-indent">
|
|
<div class="indent-type" title="Click to switch indentation type">Spaces:</div>
|
|
<div class="indent-width-label" title="Click to change indentation size">4</div>
|
|
<input class="indent-width-input hidden" type="number" min="1" max="10" maxlength="2" size="2">
|
|
</div>
|
|
<div class="status-theme">
|
|
<a class="ui-theme-toggle" title="Toggle editor theme"><i class="fa fa-sun-o fa-fw"></i></a>
|
|
</div>
|
|
<div class="status-spellcheck">
|
|
<a class="ui-spellcheck-toggle" title="Toggle spellcheck"><i class="fa fa-check fa-fw"></i></a>
|
|
</div>
|
|
</div>
|
|
</div>
|