mirror of
https://gitlab.winehq.org/wine/wine-gecko.git
synced 2024-09-13 09:24:08 -07:00
62 lines
2.4 KiB
XML
62 lines
2.4 KiB
XML
<?xml version="1.0"?>
|
|
<?xml-stylesheet href="chrome://global/skin" type="text/css"?>
|
|
<window title="Mozilla Bug 522217"
|
|
onload="start();"
|
|
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
|
|
|
|
<script type="application/javascript"
|
|
src="chrome://mochikit/content/tests/SimpleTest/EventUtils.js" />
|
|
|
|
<body xmlns="http://www.w3.org/1999/xhtml" id="body">
|
|
</body>
|
|
|
|
<script class="testbody" type="application/javascript">
|
|
<![CDATA[
|
|
|
|
function ok(aCondition, aMessage)
|
|
{
|
|
window.opener.wrappedJSObject.SimpleTest.ok(aCondition, aMessage);
|
|
}
|
|
|
|
function is(aLeft, aRight, aMessage)
|
|
{
|
|
window.opener.wrappedJSObject.SimpleTest.is(aLeft, aRight, aMessage);
|
|
}
|
|
|
|
function isnot(aLeft, aRight, aMessage)
|
|
{
|
|
window.opener.wrappedJSObject.SimpleTest.isnot(aLeft, aRight, aMessage);
|
|
}
|
|
|
|
function start() {
|
|
window.onfocus = function () {
|
|
window.onfocus = null;
|
|
var oldOuterWidth = window.outerWidth, oldOuterHeight = window.outerHeight;
|
|
var oldInnerWidth = window.innerWidth, oldInnerHeight = window.innerHeight;
|
|
document.documentElement.setAttribute("drawintitlebar", "true");
|
|
is(window.outerWidth, oldOuterWidth, "drawintitlebar shouldn't change the window's outerWidth");
|
|
is(window.outerHeight, oldOuterHeight, "drawintitlebar shouldn't change the window's outerHeight");
|
|
is(window.innerWidth, oldOuterWidth, "if drawintitlebar is set, innerWidth and outerWidth should be the same");
|
|
is(window.innerHeight, oldOuterHeight, "if drawintitlebar is set, innerHeight and outerHeight should be the same");
|
|
window.fullScreen = true;
|
|
window.fullScreen = false;
|
|
is(window.outerWidth, oldOuterWidth, "wrong outerWidth after fullscreen mode");
|
|
is(window.outerHeight, oldOuterHeight, "wrong outerHeight after fullscreen mode");
|
|
is(window.innerWidth, oldOuterWidth, "wrong innerWidth after fullscreen mode");
|
|
is(window.innerHeight, oldOuterHeight, "wrong innerHeight after fullscreen mode");
|
|
document.documentElement.removeAttribute("drawintitlebar");
|
|
is(window.outerWidth, oldOuterWidth, "wrong outerWidth after removing drawintitlebar");
|
|
is(window.outerHeight, oldOuterHeight, "wrong outerHeight after removing drawintitlebar");
|
|
is(window.innerWidth, oldInnerWidth, "wrong innerWidth after removing drawintitlebar");
|
|
is(window.innerHeight, oldInnerHeight, "wrong innerHeight after removing drawintitlebar");
|
|
window.opener.wrappedJSObject.SimpleTest.finish();
|
|
window.close();
|
|
}
|
|
}
|
|
|
|
|
|
]]>
|
|
</script>
|
|
|
|
</window>
|