gecko-dev/widget/tests/window_bug522217.xhtml
Emilio Cobos Álvarez 02cec2af35 Bug 1851577 - Remove support for the drawintitlebar attribute. r=smaug
It was replaced by chromemargin, but some leftovers remained in the
tree.

Differential Revision: https://phabricator.services.mozilla.com/D187440
2023-09-05 13:26:46 +00:00

81 lines
2.8 KiB
HTML

<?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 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.arguments[0].SimpleTest.ok(aCondition, aMessage);
}
function is(aLeft, aRight, aMessage)
{
window.arguments[0].SimpleTest.is(aLeft, aRight, aMessage);
}
function isnot(aLeft, aRight, aMessage)
{
window.arguments[0].SimpleTest.isnot(aLeft, aRight, aMessage);
}
function executeSoon() {
return new Promise(resolve => {
window.arguments[0].SimpleTest.executeSoon(resolve);
});
}
function waitForEvent(obj, name) {
return new Promise(resolve => {
obj.addEventListener(name, resolve, { once: true });
});
}
async function start() {
await waitForEvent(window, "focus");
var oldOuterWidth = window.outerWidth, oldOuterHeight = window.outerHeight;
var oldInnerWidth = window.innerWidth, oldInnerHeight = window.innerHeight;
document.documentElement.setAttribute("chromemargin", "0,0,0,0");
await executeSoon();
is(window.outerWidth, oldOuterWidth, "chromemargin shouldn't change the window's outerWidth");
is(window.outerHeight, oldOuterHeight, "chromemargin shouldn't change the window's outerHeight");
is(window.innerWidth, oldOuterWidth, "if chromemargin is set, innerWidth and outerWidth should be the same");
is(window.innerHeight, oldOuterHeight, "if chromemargin is set, innerHeight and outerHeight should be the same");
// Wait for going full screen and back.
let sizemodeChange = waitForEvent(window, "sizemodechange");
window.fullScreen = true;
await sizemodeChange;
sizemodeChange = waitForEvent(window, "sizemodechange");
window.fullScreen = false;
await sizemodeChange;
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("chromemargin");
await executeSoon();
is(window.outerWidth, oldOuterWidth, "wrong outerWidth after removing chromemargin");
is(window.outerHeight, oldOuterHeight, "wrong outerHeight after removing chromemargin");
is(window.innerWidth, oldInnerWidth, "wrong innerWidth after removing chromemargin");
is(window.innerHeight, oldInnerHeight, "wrong innerHeight after removing chromemargin");
window.arguments[0].SimpleTest.finish();
window.close();
}
]]>
</script>
</window>