supportsSetDesktopSize = false,

    screen_id              = 0,

    screen_flags           = 0,

encHandlers.ext_desktop_size = function () {

    //Util.Debug(">> ext_desktop_size");    

    if (ws.rQwait("ext_desktop_size", 4)) { return false; }

    var number_of_screens = ws.rQshift8();

    ws.rQshift8();  // padding

    ws.rQshift16(); // padding

    for (var i=0; i<number_of_screens; i += 1) {

	screen_id = ws.rQshift32();    // id

	ws.rQshift16();                // x-position

	ws.rQshift16();                // y-position

	ws.rQshift16();                // width

	ws.rQshift16();                // height

	screen_flags = ws.rQshift32(); // flags

    }

    if (FBU.x == 0) {

        fb_width = FBU.width;

        fb_height = FBU.height;

        conf.onFBResize(that, fb_width, fb_height);

        display.resize(fb_width, fb_height);

        timing.fbu_rt_start = (new Date()).getTime();

        // Send a new non-incremental request

        ws.send(fbUpdateRequests());

        if (FBU.y == 0) {

            supportsSetDesktopSize = true;

        }

    }

    FBU.bytes = 0;

    FBU.rects -= 1;

    //Util.Debug("<< ext_desktop_size");

    return true;

};

that.setDesktopSize = function(width, height) {

    if (rfb_state !== "normal") { return; }

    if (supportsSetDesktopSize) {

        var arr = [251];    // msg-type

        arr.push8(0);       // padding

        arr.push16(width);  // width

        arr.push16(height); // height

        arr.push8(1);       // number-of-screens

        arr.push8(0);       // padding

        // screen array

        arr.push32(screen_id);    // id

        arr.push16(0);            // x-position

        arr.push16(0);            // y-position

        arr.push16(width);        // width

        arr.push16(height);       // height

        arr.push32(screen_flags); // flags 

        ws.send(arr);

    }

};

var resizeTimeout;

window.onresize = function () { UI.onresize(); };

// When the window has been resized, wait until the size remains

// the same for 0.5 seconds before sending the request for changing 

// the resolution of the session

onresize: function (callback) {

    clearTimeout(resizeTimeout);

    resizeTimeout = setTimeout(function(){

	// Control-bar height: 44px +

	// Status-bar height: 24px + 

	// border height: 5px = 73px to be deducted from the height

	UI.rfb.setDesktopSize(window.innerWidth, window.innerHeight - 73);

    }, 500);

},

            // When reconnecting to an existing session, 

            // make sure the resolution is updated to the window size

            if (oldstate === 'ServerInitialisation') {

        	onresize();

            }