The Tor Browser: layout/mathml/MathJaxFonts.html@925c144e1f1f (annotated)

layout/mathml/MathJaxFonts.html@925c144e1f1f (annotated)

layout/mathml/MathJaxFonts.html

Fri, 16 Jan 2015 18:13:44 +0100

author: Michael Schloh von Bennewitz <michael@schloh.com>
date: Fri, 16 Jan 2015 18:13:44 +0100
branch: TOR_BUG_9701
changeset 14: 925c144e1f1f
permissions: -rw-r--r--

Integrate suggestion from review to improve consistency with existing code.

 <!-- -*- mode: HTML; tab-width: 2; indent-tabs-mode: nil; -*- -->
 <!-- vim: set tabstop=2 expandtab shiftwidth=2 textwidth=80:  -->
 <!-- This Source Code Form is subject to the terms of the Mozilla Public
    - License, v. 2.0. If a copy of the MPL was not distributed with this
    - file, You can obtain one at http://mozilla.org/MPL/2.0/. -->
 <!DOCTYPE html>
 <html>
   <head>
     <title>MathJax fonts</title>
     <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
     <script type="text/x-mathjax-config">
       MathJax.Hub.Config({
         jax: ["output/HTML-CSS"],
         "HTML-CSS": { availableFonts: ["TeX"] }
       });
     </script>
     <script type="text/javascript"
             src="http://cdn.mathjax.org/mathjax/latest/unpacked/MathJax.js">
     </script>
     <script type="text/javascript">
       var fontList = [
         "MathJax_Main",
         "MathJax_Size1",
         "MathJax_Size2",
         "MathJax_Size3",
         "MathJax_Size4",
         "MathJax_AMS",
         "MathJax_Main-bold"
       ];
       var noChar = codePoint();
       function codePoint(aValue, aFont)
       {
         var v = 0xFFFD;
         if (aValue) {
           v = aValue;
         }
         var f = "";
         if (aFont) {
           var i = fontList.indexOf(aFont);
           if (i > 0) {
             f = "@" + i;
           }
         }
         var hexacode = Number(v).toString(16).toUpperCase();
         while (hexacode.length < 4) {
           hexacode = "0" + hexacode;
         }
         return "\\u" + hexacode + f;
       }
       function codePoint2(aList)
       {
         if (aList) {
           return codePoint(aList[0], aList[1]);
         } else {
           return noChar;
         }
       }
       function isSupported(aStretch)
       {
         for (var x in aStretch) {
           var part = aStretch[x];
           if (part[0] instanceof Array) {
             // Composite char
             return false;
           } else if (part.length > 2) {
             // Part has scale factor
             return false;
           }
         }
         return true;
       }
       MathJax.Hub.Queue(
       ["Require", MathJax.Ajax, "[MathJax]/jax/element/mml/jax.js"],
       ["Require", MathJax.Ajax, "[MathJax]/jax/output/HTML-CSS/jax.js"],
       ["Require", MathJax.Ajax, "[MathJax]/jax/output/HTML-CSS/fonts/TeX/fontdata-extra.js"],
       function () {
       var t = document.getElementById("output");
       t.value = "";
       var fontData = MathJax.OutputJax["HTML-CSS"].FONTDATA;
       t.value += "# Content below is generated from MathJaxFonts.html. Do not edit.\n";
       t.value += "\n";
       // Generate the list of external fonts
       for (var i = 1; i < fontList.length; i++) {
         t.value += "external." + i + " = " + fontList[i] + "\n";
       }
       t.value += "\n";
       // Generate stretchy table for delimiters
       var delimiters = fontData.DELIMITERS;
       for (var u in delimiters) {
         var v = delimiters[u];
         if (v.load) {
           // These characters are already handled when we load fontdata-extra.js
           continue;
         }
         if (v.alias) {
           if (delimiters.hasOwnProperty(v.alias)) {
             // use data from the char pointed by this alias
             v = delimiters[v.alias];
           } else {
             // It is an alias to a non-stretchy char. Ignore it.
             continue;
           }
         }
         if (v.stretch && !isSupported(v.stretch)) {
           // This construction is not supported.
           t.value += "# " + codePoint(u) + " = [not supported]\n";
           continue;
         }
         t.value += codePoint(u);
         t.value += " = ";
         if (v.stretch) {
           if (v.dir == "V") {
             t.value += codePoint2(v.stretch.top);
             t.value += codePoint2(v.stretch.mid);
             t.value += codePoint2(v.stretch.bot);
             t.value += codePoint2(v.stretch.ext);
           } else {
             t.value += codePoint2(v.stretch.left);
             t.value += codePoint2(v.stretch.mid);
             t.value += codePoint2(v.stretch.right);
             t.value += codePoint2(v.stretch.rep);
           }
         } else {
           t.value += noChar + noChar + noChar + noChar;
         }
         for (var i in v.HW) {
             t.value += codePoint(u, v.HW[i][1]);
         }
         t.value += "\n";
       }
       // Generate table for large operators
       var fonts1 = fontData.FONTS[fontList[1]];
       var fonts2 = fontData.FONTS[fontList[2]];
       for (var u in fonts1) {
         if (delimiters.hasOwnProperty(u) || // already listed above
             u == "version" || u == "available" ||
             u == "directory" ||  u == "family" || u == "testString") {
           // Ignore these properties
           continue;
         }
         t.value += codePoint(u);
         t.value += " = ";
         t.value += noChar + noChar + noChar + noChar;
         t.value += codePoint(u, fontList[1]);
         if (fonts2.hasOwnProperty(u)) {
           t.value += codePoint(u, fontList[2]);
         }
         t.value += "\n";
        }
      });
     </script>
   </head>
   <body>
     <textarea id="output" cols="80" rows="20"></textarea>
   </body>
 </html>

The Tor Browser / annotate

layout/mathml/MathJaxFonts.html@925c144e1f1f (annotated)

layout/mathml/MathJaxFonts.html