##// END OF EJS Templates
Fixing #1337. Tooltip stops TAB from being handled by others....
Fixing #1337. Tooltip stops TAB from being handled by others. Pressing TAB to get the tooltip "range(TAB" was inserting a TAB. To get rid of this we are now telling CodeMirror to ignore it and also stopping the event from bubbling up the DOM.

File last commit:

r5723:8326cad4
r6052:07435e35
Show More
logout.html
28 lines | 495 B | text/html | HtmlLexer
{% extends layout.html %}
{% block content_panel %}
<ul>
{% if read_only or not login_available %}
Proceed to the <a href="/">list of notebooks</a>.</li>
{% else %}
Proceed to the <a href="/login">login page</a>.</li>
{% end %}
</ul>
{% end %}
{% block login_widget %}
{% end %}
{% block script %}
<script type="text/javascript">
$(document).ready(function() {
IPython.login_widget = new IPython.LoginWidget('span#login_widget');
});
</script>
{% end %}