layout/reftests/image-element/element-paint-paintserversize-rounding-01.html@ac0c01689b40 (annotated)
layout/reftests/image-element/element-paint-paintserversize-rounding-01.html
Thu, 15 Jan 2015 15:59:08 +0100
- author
- Michael Schloh von Bennewitz <michael@schloh.com>
- date
- Thu, 15 Jan 2015 15:59:08 +0100
- branch
- TOR_BUG_9701
- changeset 10
- ac0c01689b40
- permissions
- -rw-r--r--
Implement a real Private Browsing Mode condition by changing the API/ABI;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
| michael@0 | 1 | <!-- |
| michael@0 | 2 | Any copyright is dedicated to the Public Domain. |
| michael@0 | 3 | http://creativecommons.org/licenses/publicdomain/ |
| michael@0 | 4 | |
| michael@0 | 5 | The green square should always be rendered at 100px. |
| michael@0 | 6 | --> |
| michael@0 | 7 | <!DOCTYPE html> |
| michael@0 | 8 | <html> |
| michael@0 | 9 | <head> |
| michael@0 | 10 | <style> |
| michael@0 | 11 | body > div { |
| michael@0 | 12 | width: 200px; |
| michael@0 | 13 | height: 200px; |
| michael@0 | 14 | float: left; |
| michael@0 | 15 | background-repeat: no-repeat; |
| michael@0 | 16 | } |
| michael@0 | 17 | |
| michael@0 | 18 | div > div { |
| michael@0 | 19 | background: lime; |
| michael@0 | 20 | } |
| michael@0 | 21 | |
| michael@0 | 22 | </style> |
| michael@0 | 23 | </head> |
| michael@0 | 24 | <body style="margin:0"> |
| michael@0 | 25 | <div style="background-image: -moz-element(#eInteger)"></div> |
| michael@0 | 26 | <div style="background-image: -moz-element(#eRoundUp1)"></div> |
| michael@0 | 27 | <div style="background-image: -moz-element(#eRoundUp2)"></div> |
| michael@0 | 28 | <div style="background-image: -moz-element(#eRoundDown1)"></div> |
| michael@0 | 29 | <div style="background-image: -moz-element(#eRoundDown2)"></div> |
| michael@0 | 30 | |
| michael@0 | 31 | <div style="overflow:hidden; height:0"> |
| michael@0 | 32 | <div id="eInteger" style="margin: 0.3px; width: 100px; height: 100px;"></div> |
| michael@0 | 33 | <div id="eRoundUp1" style="margin: 0.3px; width: 99.6px; height: 99.6px;"></div> |
| michael@0 | 34 | <div id="eRoundUp2" style="margin: 0.6px; width: 99.6px; height: 99.6px;"></div> |
| michael@0 | 35 | <div id="eRoundDown1" style="margin: 0.3px; width: 100.3px; height: 100.3px;"></div> |
| michael@0 | 36 | <div id="eRoundDown2" style="margin: 0.6px; width: 100.3px; height: 100.3px;"></div> |
| michael@0 | 37 | </div> |
| michael@0 | 38 | </body> |
| michael@0 | 39 | </html> |
