layout/xul/crashtests/399013.xul@deefc01c0e14 (annotated)
layout/xul/crashtests/399013.xul
Thu, 15 Jan 2015 21:03:48 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 15 Jan 2015 21:03:48 +0100
- branch
- TOR_BUG_9701
- changeset 11
- deefc01c0e14
- permissions
- -rw-r--r--
Integrate friendly tips from Tor colleagues to make (or not) 4.5 alpha 3;
This includes removal of overloaded (but unused) methods, and addition of
a overlooked call to DataStruct::SetData(nsISupports, uint32_t, bool.)
| michael@0 | 1 | <window xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul"> |
| michael@0 | 2 | <menulist id="b" style="display: -moz-groupbox;"> |
| michael@0 | 3 | <panel id="c" style=" position: absolute;"> |
| michael@0 | 4 | <popup onunderflow="document.getElementById('c').removeAttribute('style')"/> |
| michael@0 | 5 | </panel> |
| michael@0 | 6 | <menupopup id="a" style="display: -moz-stack;"> |
| michael@0 | 7 | <menulist/> |
| michael@0 | 8 | </menupopup> |
| michael@0 | 9 | <panel style="display: -moz-deck;" onoverflow="document.getElementById('b').removeAttribute('style')"> |
| michael@0 | 10 | <popup style="display: -moz-deck;"/> |
| michael@0 | 11 | </panel> |
| michael@0 | 12 | </menulist> |
| michael@0 | 13 | |
| michael@0 | 14 | <script id="script" xmlns="http://www.w3.org/1999/xhtml"><![CDATA[ |
| michael@0 | 15 | function doe() { |
| michael@0 | 16 | document.getElementById('c').removeAttribute('style'); |
| michael@0 | 17 | document.documentElement.boxObject.height; |
| michael@0 | 18 | document.getElementById('b').removeAttribute('style'); |
| michael@0 | 19 | document.getElementById('a').setAttribute('selected', 'true'); |
| michael@0 | 20 | document.getElementById('a').setAttribute('style', 'position: fixed;'); |
| michael@0 | 21 | document.documentElement.boxObject.height; |
| michael@0 | 22 | document.getElementById('a').removeAttribute('style'); |
| michael@0 | 23 | } |
| michael@0 | 24 | |
| michael@0 | 25 | function doe2() { |
| michael@0 | 26 | window.location.reload(); |
| michael@0 | 27 | } |
| michael@0 | 28 | setTimeout(doe2, 200); |
| michael@0 | 29 | setTimeout(doe,100); |
| michael@0 | 30 | ]]></script> |
| michael@0 | 31 | </window> |
