From 825c00fa6c78e25abb057754c33054a526f709f8 Mon Sep 17 00:00:00 2001
From: "Kavish N. Dahekar" <kavish.dahekar@sap.com>
Date: Fri, 11 Jan 2019 22:17:34 +0530
Subject: [PATCH] Fix Issue #68 - Scroll not working

---
 src/outline_ui.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/outline_ui.js b/src/outline_ui.js
index fbb7b68..5cad5f3 100644
--- a/src/outline_ui.js
+++ b/src/outline_ui.js
@@ -37,6 +37,7 @@
 			// normal browser – just update style
 			xv_dom.setCSS(pane, {width: width});
 			xv_dom.setCSS(source_pane, {right: width});
+			xv_dom.setCSS(source_pane, {height: (window.innerHeight - 37 + 1)});
 		} else {
 			// Freakin' crazy way to update XML element style:
 			// modify document’s stylesheet with new rules.