diff options
author | Tomáš Bohdálek <tom.bohdalek@gmail.com> | 2017-05-24 08:57:41 +0200 |
---|---|---|
committer | Jeremy White <jwhite@codeweavers.com> | 2017-06-02 09:45:35 -0500 |
commit | 556ed82aa4f5077a12bd46500d7077d4ddbe9c13 (patch) | |
tree | 0e800a263365e2e85040c667b1d3d53c97ca5b2e | |
parent | 7ba763feb5322f0c97758070075b60cee5464f47 (diff) |
Always show debug console
Make sure to show both screen and console.
-rw-r--r-- | resize.js | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -33,17 +33,17 @@ function resize_helper(sc) { var w = document.getElementById(sc.screen_id).clientWidth; - var h = document.getElementById(sc.screen_id).clientHeight; - var m = document.getElementById(sc.message_id); /* Resize vertically; basically we leave a 20 pixel margin at the bottom, and use the position of the message window to figure out how to resize */ - var hd = window.innerHeight - m.offsetHeight - m.offsetTop - 20; + + /* Show both div elements - spice-area and message-div */ + var h = window.innerHeight - m.offsetHeight - m.clientHeight - 20; + /* Xorg requires height be a multiple of 8; round up */ - h = h + hd; if (h % 8 > 0) h += (8 - (h % 8)); |