##// END OF EJS Templates
add Mode menu to editor
add Mode menu to editor

File last commit:

r19319:c847b345
r19319:c847b345
Show More
edit.html
92 lines | 3.2 KiB | text/html | HtmlLexer
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 {% extends "page.html" %}
{% block title %}{{page_title}}{% endblock %}
Thomas Kluyver
Loading a file works
r19011 {% block stylesheet %}
<link rel="stylesheet" href="{{ static_url('components/codemirror/lib/codemirror.css') }}">
Thomas Kluyver
Enable codemirror search/replace shortcuts
r19014 <link rel="stylesheet" href="{{ static_url('components/codemirror/addon/dialog/dialog.css') }}">
Thomas Kluyver
Loading a file works
r19011 {{super()}}
{% endblock %}
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 {% block params %}
data-base-url="{{base_url}}"
Thomas Kluyver
Loading a file works
r19011 data-file-path="{{file_path}}"
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
{% endblock %}
Min RK
update edit page blocks after layout changes
r19318 {% block headercontainer %}
Thomas Kluyver
Add filename to header area
r19040
Min RK
update edit page blocks after layout changes
r19318 <span id="save_widget" class="pull-left save_widget">
Min RK
add save widget to text editor
r19316 <span class="filename"></span>
<span class="last_modified"></span>
</span>
Thomas Kluyver
Add filename to header area
r19040
{% endblock %}
Min RK
update edit page blocks after layout changes
r19318 {% block header %}
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
Thomas Kluyver
Saving files works
r19012 <div id="menubar-container" class="container">
Min RK
editor progress...
r19303 <div id="menubar">
Thomas Kluyver
Saving files works
r19012 <div id="menus" class="navbar navbar-default" role="navigation">
Min RK
editor progress...
r19303 <div class="container-fluid">
<button type="button" class="btn btn-default navbar-toggle" data-toggle="collapse" data-target=".navbar-collapse">
<i class="fa fa-bars"></i>
<span class="navbar-text">Menu</span>
</button>
<ul class="nav navbar-nav navbar-right">
<li id="notification_area"></li>
</ul>
<div class="navbar-collapse collapse">
<ul class="nav navbar-nav">
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">File</a>
<ul id="file-menu" class="dropdown-menu">
<li id="new-file"><a href="#">New</a></li>
<li id="save-file"><a href="#">Save</a></li>
Min RK
add File/Rename
r19317 <li id="rename-file"><a href="#">Rename</a></li>
Thomas Kluyver
Saving files works
r19012 </ul>
Min RK
editor progress...
r19303 </li>
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Edit</a>
<ul id="edit-menu" class="dropdown-menu">
<li id="menu-find"><a href="#">Find</a></li>
<li id="menu-replace"><a href="#">Find &amp; Replace</a></li>
Min RK
allow selecting codemirror keymap in menu
r19306 <li class="divider"></li>
Min RK
fixup keyMap
r19310 <li class="dropdown-header">Key Map</li>
Min RK
allow selecting codemirror keymap in menu
r19306 <li id="menu-keymap-default"><a href="#">Default<i class="fa"></i></a></li>
<li id="menu-keymap-sublime"><a href="#">Sublime Text<i class="fa"></i></a></li>
<li id="menu-keymap-vim"><a href="#">Vim<i class="fa"></i></a></li>
<li id="menu-keymap-emacs"><a href="#">emacs<i class="fa"></i></a></li>
Min RK
editor progress...
r19303 </ul>
</li>
<li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">View</a>
<ul id="view-menu" class="dropdown-menu">
<li id="menu-line-numbers"><a href="#">Hide Line Numbers</a></li>
</ul>
</li>
Min RK
add Mode menu to editor
r19319 <li class="dropdown"><a href="#" class="dropdown-toggle" data-toggle="dropdown">Mode</a>
<ul id="mode-menu" class="dropdown-menu">
</ul>
</li>
Min RK
editor progress...
r19303 </ul>
Min RK
add Mode menu to editor
r19319 <p id="current-mode" class="navbar-text navbar-right">current mode</p>
Thomas Kluyver
Saving files works
r19012 </div>
Min RK
editor progress...
r19303 </div>
Thomas Kluyver
Saving files works
r19012 </div>
Min RK
editor progress...
r19303 </div>
Thomas Kluyver
Saving files works
r19012 </div>
Min RK
update edit page blocks after layout changes
r19318 {% endblock %}
{% block site %}
Thomas Kluyver
Styling to make it clearer where the editor is
r19019 <div id="texteditor-container" class="container"></div>
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010
{% endblock %}
{% block script %}
{{super()}}
Thomas Kluyver
Rename texteditor files & folders to edit
r19074 <script src="{{ static_url("edit/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
Thomas Kluyver
Basic infrastructure for new texteditor component
r19010 {% endblock %}