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 | <html> |
michael@0 | 2 | <head> |
michael@0 | 3 | <title>embellished operators: ignore space-like children</title> |
michael@0 | 4 | </head> |
michael@0 | 5 | |
michael@0 | 6 | <body> |
michael@0 | 7 | <div> |
michael@0 | 8 | <!-- many space-like children --> |
michael@0 | 9 | <math xmlns="http://www.w3.org/1998/Math/MathML"> |
michael@0 | 10 | <mover> |
michael@0 | 11 | <mtext>abcdef</mtext> |
michael@0 | 12 | <mrow> |
michael@0 | 13 | <mspace/> |
michael@0 | 14 | <mtext>g</mtext> |
michael@0 | 15 | <mspace/> |
michael@0 | 16 | <mo stretchy="false">¯</mo> |
michael@0 | 17 | <mspace/> |
michael@0 | 18 | <mspace/> |
michael@0 | 19 | <mtext>h</mtext> |
michael@0 | 20 | </mrow> |
michael@0 | 21 | </mover> |
michael@0 | 22 | </math> |
michael@0 | 23 | </div> |
michael@0 | 24 | </body> |
michael@0 | 25 | </html> |