DXR is a code search and navigation tool aimed at making sense of large projects. It supports full-text and regex searches as well as structural queries.

Mercurial (5350524bb654)

VCS Links

Line Code
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72
<?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 executeSoon(aFct)
{
  window.opener.wrappedJSObject.SimpleTest.executeSoon(aFct);
}

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");

    executeSoon(function() {
      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");

      executeSoon(function() {
        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>