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 1: maction</title>
4 </head>
6 <body>
7 <div>
8 <!-- maction whose selected child is embellished op -->
9 <math xmlns="http://www.w3.org/1998/Math/MathML">
10 <mover>
11 <mtext>abcdef</mtext>
12 <maction actiontype="toggle" selection="2">
13 <mo stretchy="false">¯</mo>
14 <mo stretchy="false">¯</mo>
15 </maction>
16 </mover>
17 </math>
18 </div>
19 </body>
20 </html>