71 lines
2.5 KiB
JavaScript
71 lines
2.5 KiB
JavaScript
"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);
|
|
}
|