1 files changed, 70 insertions, 0 deletions
diff --git a/resize.js b/resize.js
new file mode 100644
index 0000000..f5410d3
--- /dev/null
+++ b/resize.js
@@ -0,0 +1,70 @@
+"use strict";
+/*
+   Copyright (C) 2014 by Jeremy P. White <jwhite@codeweavers.com>
+
+   This file is part of spice-html5.
+
+   spice-html5 is free software: you can redistribute it and/or modify
+   it under the terms of the GNU Lesser General Public License as published by
+   the Free Software Foundation, either version 3 of the License, or
+   (at your option) any later version.
+
+   spice-html5 is distributed in the hope that it will be useful,
+   but WITHOUT ANY WARRANTY; without even the implied warranty of
+   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+   GNU Lesser General Public License for more details.
+
+   You should have received a copy of the GNU Lesser General Public License
+   along with spice-html5.  If not, see <http://www.gnu.org/licenses/>.
+*/
+
+/*----------------------------------------------------------------------------
+**  resize.js
+**      This bit of Javascript is a set of logic to help with window
+**  resizing, using the agent channel to request screen resizes.
+**
+**  It's a bit tricky, as we want to wait for resizing to settle down
+**  before sending a size.  Further, while horizontal resizing to use the whole
+**  browser width is fairly easy to arrange with css, resizing an element to use
+**  the whole vertical space (or to force a middle div to consume the bulk of the browser
+**  window size) is tricky, and the consensus seems to be that Javascript is
+**  the only right way to do it.
+**--------------------------------------------------------------------------*/
+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;
+
+    /* Xorg requires height be a multiple of 8; round up */
+    h = h + hd;
+    if (h % 8 > 0)
+        h += (8 - (h % 8));
+
+    /* Xorg requires width be a multiple of 8; round up */
+    if (w % 8 > 0)
+        w += (8 - (w % 8));
+
+
+    sc.resize_window(0, w, h, 32, 0, 0);
+    sc.spice_resize_timer = undefined;
+}
+
+function handle_resize(e)
+{
+    var sc = window.spice_connection;
+
+    if (sc && sc.spice_resize_timer)
+    {
+        window.clearTimeout(sc.spice_resize_timer);
+        sc.spice_resize_timer = undefined;
+    }
+
+    sc.spice_resize_timer = window.setTimeout(resize_helper, 200, sc);
+}