##// END OF EJS Templates
Merge pull request #4384 from minrk/height...
Merge pull request #4384 from minrk/height fix menubar height measurement we were measuring the wrong divs, causing the pager splitter to occasionally be off-screen, or the top ~8 pixels of the header to be cut off (e.g. when visiting a url with an anchor).

File last commit:

r12098:20cd990c
r12979:52ae6bbd merge
Show More
htmlnotebook.html
9 lines | 263 B | text/html | HtmlLexer
<html>
<head>
<meta http-equiv="Refresh" content="0; url=notebook.html" />
<title>Notebook page has move</title>
</head>
<body>
<p>The notebook page has moved to <a href="notebook.html">this link</a>.</p>
</body>
</html>