##// 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:

r14070:b9d0a5f7
r19020:0e93c51c
Show More
error.html
31 lines | 593 B | text/html | HtmlLexer
MinRK
add error page templates
r13941 {% extends "page.html" %}
{% block login_widget %}
{% endblock %}
{% block stylesheet %}
{{super()}}
<style type="text/css">
/* disable initial hide */
div#header, div#site {
display: block;
}
</style>
{% endblock %}
{% block site %}
<div class="error">
{% block h1_error %}
<h1>{{status_code}} : {{status_message}}</h1>
{% endblock h1_error %}
{% block error_detail %}
{% if message %}
<p>The error was:</p>
<div class="traceback-wrapper">
MinRK
remove unnecessary conversion of newline to br tag...
r14070 <pre class="traceback">{{message}}</pre>
MinRK
add error page templates
r13941 </div>
{% endif %}
{% endblock %}
</header>
{% endblock %}