##// END OF EJS Templates
BUG: Scrolling pager in vsplit on Mac OSX tears....
BUG: Scrolling pager in vsplit on Mac OSX tears. On Mac OS X, scrolling the pager when it is split vertically causes the help text to tear (i.e. the help text is unreadable). This hack attempts to make it a little better although the solution may not be optimal at all.

File last commit:

r5723:8326cad4
r5733:811b7457
Show More
layout.html
85 lines | 2.0 KiB | text/html | HtmlLexer
Stefan van der Walt
Use template inheritance.
r5324 <!DOCTYPE HTML>
<html>
<head>
<meta charset="utf-8">
<title>{% block title %}IPython Notebook{% end %}</title>
<link rel="stylesheet" href="static/jquery/css/themes/aristo/jquery-wijmo.css" type="text/css" />
<link rel="stylesheet" href="static/css/boilerplate.css" type="text/css" />
<link rel="stylesheet" href="static/css/layout.css" type="text/css" />
<link rel="stylesheet" href="static/css/base.css" type="text/css"/>
{% block stylesheet %}
{% end %}
Stefan van der Walt
Add logout button.
r5325 {% block meta %}
{% end %}
Stefan van der Walt
Use template inheritance.
r5324
</head>
Stefan van der Walt
Add logout button.
r5325 <body {% block params %}{% end %}>
Stefan van der Walt
Use template inheritance.
r5324
<div id="header">
Matthias BUSSONNIER
notebook : update logo...
r5702 <span id="ipython_notebook"><h1><img src='static/ipynblogo.png' alt='IPython Notebook'/></h1></span>
Stefan van der Walt
Hide top login/logout buttons on login/logout pages.
r5723
{% block login_widget %}
<span id="login_widget">
{% if logged_in %}
<button id="logout">Logout</button>
{% elif login_available and not logged_in %}
<button id="login">Login</button>
{% end %}
</span>
{% end %}
Stefan van der Walt
Use template inheritance.
r5324 {% block header %}
{% end %}
</div>
<div id="header_border"></div>
<div id="main_app">
<div id="app_hbox">
<div id="left_panel">
{% block left_panel %}
{% end %}
</div>
<div id="content_panel">
{% if message %}
Stefan van der Walt
Add info, error and warning message boxes.
r5326
{% for key in message %}
<div class="message {{key}}">
{{message[key]}}
</div>
{% end %}
Stefan van der Walt
Use template inheritance.
r5324 {% end %}
{% block content_panel %}
{% end %}
</div>
<div id="right_panel">
{% block right_panel %}
{% end %}
</div>
</div>
</div>
<script src="static/jquery/js/jquery-1.6.2.min.js" type="text/javascript" charset="utf-8"></script>
<script src="static/jquery/js/jquery-ui-1.8.14.custom.min.js" type="text/javascript" charset="utf-8"></script>
<script src="static/js/namespace.js" type="text/javascript" charset="utf-8"></script>
<script src="static/js/loginmain.js" type="text/javascript" charset="utf-8"></script>
<script src="static/js/loginwidget.js" type="text/javascript" charset="utf-8"></script>
{% block script %}
{% end %}
</body>
</html>