From 94b726f4273df805846d7fdcd2e9d5bd7627f628 Mon Sep 17 00:00:00 2001
From: Dimitri van Heesch <dimitri@stack.nl>
Date: Sun, 6 Nov 2016 13:06:21 +0100
Subject: Fixed jump to anchor issue when navigating to source file

---
 templates/html/resize.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/templates/html/resize.js b/templates/html/resize.js
index 6d78f5b..56e4a02 100644
--- a/templates/html/resize.js
+++ b/templates/html/resize.js
@@ -101,6 +101,7 @@ function initResizable()
   }
   var width = readCookie('width');
   if (width) { restoreWidth(width); } else { resizeWidth(); }
+  resizeHeight();
   var url = location.href;
   var i=url.indexOf("#");
   if (i>=0) window.location.hash=url.substr(i);
-- 
cgit v0.12