Tue, 06 Jan 2015 21:39:09 +0100
Conditionally force memory storage according to privacy.thirdparty.isolate;
This solves Tor bug #9701, complying with disk avoidance documented in
https://www.torproject.org/projects/torbrowser/design/#disk-avoidance.
michael@0 | 1 | # This Source Code Form is subject to the terms of the Mozilla Public |
michael@0 | 2 | # License, v. 2.0. If a copy of the MPL was not distributed with this |
michael@0 | 3 | # file, You can obtain one at http://mozilla.org/MPL/2.0/. |
michael@0 | 4 | |
michael@0 | 5 | # LOCALIZATION NOTE: FILE |
michael@0 | 6 | # Do not translate anything in this file |
michael@0 | 7 | |
michael@0 | 8 | # This file contains the list of all stretchy MathML chars that |
michael@0 | 9 | # can be rendered with Standard Symbols L. |
michael@0 | 10 | |
michael@0 | 11 | # [ T/L | M | B/R | G | size0 ... size{N-1} ] |
michael@0 | 12 | \u0028 = \uF8EB\uFFFD\uF8ED\uF8EC\u0028 # ( |
michael@0 | 13 | \u0029 = \uF8F6\uFFFD\uF8F8\uF8F7\u0029 # ) |
michael@0 | 14 | \u005B = \uF8EE\uFFFD\uF8F0\uF8EF\u005B # [ |
michael@0 | 15 | \u005D = \uF8F9\uFFFD\uF8FB\uF8FA\u005D # ] |
michael@0 | 16 | \u007B = \uF8F1\uF8F2\uF8F3\uF8F4\u007B # { |
michael@0 | 17 | \u007C = \uFFFD\uFFFD\uFFFD\u007C\u007C # | |
michael@0 | 18 | \u007D = \uF8FC\uF8FD\uF8FE\uF8F4\u007D # } |
michael@0 | 19 | |
michael@0 | 20 | \u00AF = \uFFFD\uFFFD\uFFFD\uF8E5\u00AF # ad-hoc: overbar is stretched with the radical extender |
michael@0 | 21 | \u0332 = \uFFFD\uFFFD\uFFFD\u005F\u0332 # ad-hock: UnderBar (0x0332) is stretched with underscore |
michael@0 | 22 | |
michael@0 | 23 | \u2190 = \u2190\uFFFD\uFFFD\uF8E7\u2190 # LeftArrow, larr, leftarrow |
michael@0 | 24 | \u2191 = \u2191\uFFFD\uFFFD\uF8E6\u2191 # UpArrow, uarr, uparrow |
michael@0 | 25 | \u2192 = \uFFFD\uFFFD\u2192\uF8E7\u2192 # RightArrow, rarr, rightarrow |
michael@0 | 26 | \u2193 = \uFFFD\uFFFD\u2193\uF8E6\u2193 # DownArrow, darr, downarrow |
michael@0 | 27 | \u2194 = \u2190\uFFFD\u2192\uF8E7\u2194 # LeftRightArrow, harr, leftrightarrow |
michael@0 | 28 | \u2195 = \u2191\uFFFD\u2193\uF8E6\u2195 # UpDownArrow, updownarrow, varr |
michael@0 | 29 | |
michael@0 | 30 | \u222B = \u2320\uFFFD\u2321\uF8F5\u222B # Integral, int |
michael@0 | 31 | # If there are problems with the font-supplied glue use a rule: |
michael@0 | 32 | # \u222B = \u2320\uFFFD\u2321\uFFFD\u222B # Integral, int |
michael@0 | 33 | |
michael@0 | 34 | # Using parts of [ and ] |
michael@0 | 35 | \u2308 = \uF8EE\uFFFD\uFFFD\uF8EF\u2308 # LeftCeiling, lceil |
michael@0 | 36 | \u2309 = \uF8F9\uFFFD\uFFFD\uF8FA\u2309 # RightCeiling, rceil |
michael@0 | 37 | \u230A = \uFFFD\uFFFD\uF8F0\uF8EF\u230A # LeftFloor, lfloor |
michael@0 | 38 | \u230B = \uFFFD\uFFFD\uF8FB\uF8FA\u230B # RightFloor, rfloor |
michael@0 | 39 | |
michael@0 | 40 | # same as normal arrows |
michael@0 | 41 | \u27F5 = \u2190\uFFFD\uFFFD\uF8E7\u27F5 # LongLeftArrow |
michael@0 | 42 | \u27F6 = \uFFFD\uFFFD\u2192\uF8E7\u27F6 # LongRightArrow |
michael@0 | 43 | \u27F7 = \u2190\uFFFD\u2192\uF8E7\u27F7 # LongLeftRightArrow |