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