Thu, 15 Jan 2015 15:59:08 +0100
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 | <!DOCTYPE html> |
michael@0 | 2 | <html> |
michael@0 | 3 | <head> |
michael@0 | 4 | <style type="text/css"> |
michael@0 | 5 | .separator { |
michael@0 | 6 | height: 20px; |
michael@0 | 7 | background-color: blue; |
michael@0 | 8 | } |
michael@0 | 9 | #overflow { |
michael@0 | 10 | overflow-y: scroll; |
michael@0 | 11 | height: 160px; |
michael@0 | 12 | margin: 20px 0; |
michael@0 | 13 | padding-top: 40px; |
michael@0 | 14 | background-color: lightgreen; |
michael@0 | 15 | } |
michael@0 | 16 | #child { |
michael@0 | 17 | height: 160px; |
michael@0 | 18 | background-color: green; |
michael@0 | 19 | } |
michael@0 | 20 | #margin { |
michael@0 | 21 | height: 40px; |
michael@0 | 22 | } |
michael@0 | 23 | </style> |
michael@0 | 24 | </head> |
michael@0 | 25 | <body> |
michael@0 | 26 | <div class="separator"></div> |
michael@0 | 27 | <div id="overflow"> |
michael@0 | 28 | <div id="child"></div> |
michael@0 | 29 | <div id="margin"></div> |
michael@0 | 30 | </div> |
michael@0 | 31 | <div class="separator"></div> |
michael@0 | 32 | </body> |
michael@0 | 33 | </html> |