##// END OF EJS Templates
tweak history prefix search (up/^p) in qtconsole...
tweak history prefix search (up/^p) in qtconsole moving the cursor around the line could result in weird inconsistencies in the prefix. This simplifies the logic by always using the cursor position to set the history prefix, and better determine when the history prefix has actually changed.

File last commit:

r8896:889e2426
r9205:ef8c14cd
Show More
logout.html
40 lines | 774 B | text/html | HtmlLexer
{% extends "page.html" %}
{% block stylesheet %}
<link rel="stylesheet" href="{{static_url("css/logout.css") }}" type="text/css"/>
{% endblock %}
{% block login_widget %}
{% endblock %}
{% block site %}
<div id="main_app">
{% if message %}
{% for key in message %}
<div class="message {{key}}">
{{message[key]}}
</div>
{% endfor %}
{% endif %}
{% if read_only or not login_available %}
Proceed to the <a href="{{base_project_url}}">dashboard</a>.
{% else %}
Proceed to the <a href="{{base_project_url}}login">login page</a>.
{% endif %}
<div/>
{% endblock %}
{% block script %}
<script src="{{static_url("js/logoutmain.js") }}" type="text/javascript" charset="utf-8"></script>
{% endblock %}