Fixed issue with window resizing on large resolutions.

nullishzero · nullishzero · commit 7ed2c53a9edf · 2013-05-12T16:21:37.000-07:00
diff --git a/src/chrome/content/fetch-source.js b/src/chrome/content/fetch-source.js
@@ -152,8 +152,8 @@ httpsEverywhere.fetchSource = {
 window.onresize = function() {
   var textBox = document.getElementById("source-text");
   // TODO: Move to constants
-  textBox.width = window.innerWidth - 50;
-  textBox.height = window.innerHeight - 100;
+  textBox.width = window.innerWidth - 100;
+  textBox.height = window.innerHeight - 150;
 }
 
 // hook event for init
