layout/xul/crashtests/399013.xul@97036ab72558 (annotated)
layout/xul/crashtests/399013.xul
Tue, 06 Jan 2015 21:39:09 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Tue, 06 Jan 2015 21:39:09 +0100
- branch
- TOR_BUG_9701
- changeset 8
- 97036ab72558
- permissions
- -rw-r--r--
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| 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> |
