From 03418d2952db9cbb5bd984c483146197ca7e7b54 Mon Sep 17 00:00:00 2001
From: rolux <rolux@rolux.org>
Date: Sat, 23 Jun 2012 12:49:18 +0200
Subject: [PATCH] Ox.SourceViewer: temporary workaround for cases where the
 source code doesn't fill the full height

---
 source/Ox.UI/js/Code/SourceViewer.js | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/source/Ox.UI/js/Code/SourceViewer.js b/source/Ox.UI/js/Code/SourceViewer.js
index 907c7fb0..659b68aa 100644
--- a/source/Ox.UI/js/Code/SourceViewer.js
+++ b/source/Ox.UI/js/Code/SourceViewer.js
@@ -77,6 +77,12 @@ Ox.SourceViewer = function(options, self) {
                     )
                     .appendTo($section);
         });
+        setTimeout(function() {
+            var height = that.height();
+            if (self.$table.height() < height) {
+                self.$table.css({height: height + 'px'});
+            }
+        }, 100);
     });
 
     function trim(str) {