##// END OF EJS Templates
setting an option to null sets the default in CodeMirror...
setting an option to null sets the default in CodeMirror matching the unset behavior in config

File last commit:

r17204:b67653df
r19311:9c060bc5
Show More
logout.html
39 lines | 806 B | text/html | HtmlLexer
{% extends "page.html" %}
{% block stylesheet %}
{{super()}}
<link rel="stylesheet" href="{{ static_url("auth/css/override.css") }}" type="text/css" />
{% endblock %}
{% block login_widget %}
{% endblock %}
{% block site %}
<div id="ipython-main-app" class="container">
{% if message %}
{% for key in message %}
<div class="message {{key}}">
{{message[key]}}
</div>
{% endfor %}
{% endif %}
{% if not login_available %}
Proceed to the <a href="{{base_url}}">dashboard</a>.
{% else %}
Proceed to the <a href="{{base_url}}login">login page</a>.
{% endif %}
<div/>
{% endblock %}
{% block script %}
{{super()}}
<script src="{{static_url("auth/js/logoutmain.js") }}" type="text/javascript" charset="utf-8"></script>
{% endblock %}