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 | <?xml version="1.0" encoding="UTF-8"?> |
michael@0 | 2 | <!-- |
michael@0 | 3 | Any copyright is dedicated to the Public Domain. |
michael@0 | 4 | http://creativecommons.org/publicdomain/zero/1.0/ |
michael@0 | 5 | --> |
michael@0 | 6 | <!-- |
michael@0 | 7 | This reference case is like its textcase, but with the testcase's dynamic |
michael@0 | 8 | modifications already performed. |
michael@0 | 9 | --> |
michael@0 | 10 | <html xmlns="http://www.w3.org/1999/xhtml"> |
michael@0 | 11 | <head> |
michael@0 | 12 | <style> |
michael@0 | 13 | body { font-size: 10px; } |
michael@0 | 14 | |
michael@0 | 15 | <!-- to make inserted span elements stand out --> |
michael@0 | 16 | span.inserted { background: teal; } |
michael@0 | 17 | |
michael@0 | 18 | div.flexbox { |
michael@0 | 19 | border: 1px dashed blue; |
michael@0 | 20 | width: 300px; |
michael@0 | 21 | display: flex; |
michael@0 | 22 | justify-content: space-around; |
michael@0 | 23 | margin-bottom: 1px; |
michael@0 | 24 | white-space: pre; |
michael@0 | 25 | } |
michael@0 | 26 | </style> |
michael@0 | 27 | </head> |
michael@0 | 28 | <body> |
michael@0 | 29 | <div class="flexbox" id="f0"><span class="inserted">[NewSpan]</span><div>[OldText]</div></div> |
michael@0 | 30 | <div class="flexbox" id="f1"><div>[OldText]</div><span class="inserted">[NewSpan]</span></div> |
michael@0 | 31 | <div class="flexbox" id="f2"><span class="inserted">[NewSpan]</span> <div>[OldText]</div></div> |
michael@0 | 32 | <div class="flexbox" id="f3"> <span class="inserted">[NewSpan]</span><div>[OldText]</div></div> |
michael@0 | 33 | <div class="flexbox" id="f4"><div>[OldText]</div><span class="inserted">[NewSpan]</span> </div> |
michael@0 | 34 | <div class="flexbox" id="f5"><div>[OldText]</div> <span class="inserted">[NewSpan]</span></div> |
michael@0 | 35 | <div class="flexbox" id="f6"><span class="inserted">[NewSpan]</span>[NewText]<div>[OldText]</div></div> |
michael@0 | 36 | <div class="flexbox" id="f7">[NewText]<span class="inserted">[NewSpan]</span><div>[OldText]</div></div> |
michael@0 | 37 | <div class="flexbox" id="f8"><div>[OldText]</div><span class="inserted">[NewSpan]</span>[NewText]</div> |
michael@0 | 38 | <div class="flexbox" id="f9"><div>[OldText]</div>[NewText]<span class="inserted">[NewSpan]</span></div> |
michael@0 | 39 | </body> |
michael@0 | 40 | </html> |