##// END OF EJS Templates
Better way of saving through CodeMirror...
Better way of saving through CodeMirror This should support whatever keyboard shortcuts are configured for the 'save' command.

File last commit:

r19019:4fa95490
r19020:0e93c51c
Show More
texteditor.html
60 lines | 1.7 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
Styling to make it clearer where the editor is
r19019 <style>
#texteditor-container {
border-bottom: 1px solid #ccc;
}
</style>
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 %}
{% block site %}
Thomas Kluyver
Saving files works
r19012 <div id="menubar-container" class="container">
<div id="menubar">
<div id="menus" class="navbar navbar-default" role="navigation">
<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="save_file"><a href="#">Save</a></li>
</ul>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
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()}}
<script src="{{ static_url("texteditor/js/main.js") }}" type="text/javascript" charset="utf-8"></script>
{% endblock %}