123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390 |
- "use strict";
- var __extends = (this && this.__extends) || (function () {
- var extendStatics = function (d, b) {
- extendStatics = Object.setPrototypeOf ||
- ({ __proto__: [] } instanceof Array && function (d, b) { d.__proto__ = b; }) ||
- function (d, b) { for (var p in b) if (Object.prototype.hasOwnProperty.call(b, p)) d[p] = b[p]; };
- return extendStatics(d, b);
- };
- return function (d, b) {
- if (typeof b !== "function" && b !== null)
- throw new TypeError("Class extends value " + String(b) + " is not a constructor or null");
- extendStatics(d, b);
- function __() { this.constructor = d; }
- d.prototype = b === null ? Object.create(b) : (__.prototype = b.prototype, new __());
- };
- })();
- var __assign = (this && this.__assign) || function () {
- __assign = Object.assign || function(t) {
- for (var s, i = 1, n = arguments.length; i < n; i++) {
- s = arguments[i];
- for (var p in s) if (Object.prototype.hasOwnProperty.call(s, p))
- t[p] = s[p];
- }
- return t;
- };
- return __assign.apply(this, arguments);
- };
- var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
- if (k2 === undefined) k2 = k;
- var desc = Object.getOwnPropertyDescriptor(m, k);
- if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
- desc = { enumerable: true, get: function() { return m[k]; } };
- }
- Object.defineProperty(o, k2, desc);
- }) : (function(o, m, k, k2) {
- if (k2 === undefined) k2 = k;
- o[k2] = m[k];
- }));
- var __exportStar = (this && this.__exportStar) || function(m, exports) {
- for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
- };
- var __values = (this && this.__values) || function(o) {
- var s = typeof Symbol === "function" && Symbol.iterator, m = s && o[s], i = 0;
- if (m) return m.call(o);
- if (o && typeof o.length === "number") return {
- next: function () {
- if (o && i >= o.length) o = void 0;
- return { value: o && o[i++], done: !o };
- }
- };
- throw new TypeError(s ? "Object is not iterable." : "Symbol.iterator is not defined.");
- };
- var __read = (this && this.__read) || function (o, n) {
- var m = typeof Symbol === "function" && o[Symbol.iterator];
- if (!m) return o;
- var i = m.call(o), r, ar = [], e;
- try {
- while ((n === void 0 || n-- > 0) && !(r = i.next()).done) ar.push(r.value);
- }
- catch (error) { e = { error: error }; }
- finally {
- try {
- if (r && !r.done && (m = i["return"])) m.call(i);
- }
- finally { if (e) throw e.error; }
- }
- return ar;
- };
- Object.defineProperty(exports, "__esModule", { value: true });
- exports.AddCSS = exports.CHTMLFontData = void 0;
- var FontData_js_1 = require("../common/FontData.js");
- var Usage_js_1 = require("./Usage.js");
- var lengths_js_1 = require("../../util/lengths.js");
- __exportStar(require("../common/FontData.js"), exports);
- var CHTMLFontData = (function (_super) {
- __extends(CHTMLFontData, _super);
- function CHTMLFontData() {
- var _this = _super !== null && _super.apply(this, arguments) || this;
- _this.charUsage = new Usage_js_1.Usage();
- _this.delimUsage = new Usage_js_1.Usage();
- return _this;
- }
- CHTMLFontData.charOptions = function (font, n) {
- return _super.charOptions.call(this, font, n);
- };
- CHTMLFontData.prototype.adaptiveCSS = function (adapt) {
- this.options.adaptiveCSS = adapt;
- };
- CHTMLFontData.prototype.clearCache = function () {
- if (this.options.adaptiveCSS) {
- this.charUsage.clear();
- this.delimUsage.clear();
- }
- };
- CHTMLFontData.prototype.createVariant = function (name, inherit, link) {
- if (inherit === void 0) { inherit = null; }
- if (link === void 0) { link = null; }
- _super.prototype.createVariant.call(this, name, inherit, link);
- var CLASS = this.constructor;
- this.variant[name].classes = CLASS.defaultVariantClasses[name];
- this.variant[name].letter = CLASS.defaultVariantLetters[name];
- };
- CHTMLFontData.prototype.defineChars = function (name, chars) {
- var e_1, _a;
- _super.prototype.defineChars.call(this, name, chars);
- var letter = this.variant[name].letter;
- try {
- for (var _b = __values(Object.keys(chars)), _c = _b.next(); !_c.done; _c = _b.next()) {
- var n = _c.value;
- var options = CHTMLFontData.charOptions(chars, parseInt(n));
- if (options.f === undefined) {
- options.f = letter;
- }
- }
- }
- catch (e_1_1) { e_1 = { error: e_1_1 }; }
- finally {
- try {
- if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
- }
- finally { if (e_1) throw e_1.error; }
- }
- };
- Object.defineProperty(CHTMLFontData.prototype, "styles", {
- get: function () {
- var CLASS = this.constructor;
- var styles = __assign({}, CLASS.defaultStyles);
- this.addFontURLs(styles, CLASS.defaultFonts, this.options.fontURL);
- if (this.options.adaptiveCSS) {
- this.updateStyles(styles);
- }
- else {
- this.allStyles(styles);
- }
- return styles;
- },
- enumerable: false,
- configurable: true
- });
- CHTMLFontData.prototype.updateStyles = function (styles) {
- var e_2, _a, e_3, _b;
- try {
- for (var _c = __values(this.delimUsage.update()), _d = _c.next(); !_d.done; _d = _c.next()) {
- var N = _d.value;
- this.addDelimiterStyles(styles, N, this.delimiters[N]);
- }
- }
- catch (e_2_1) { e_2 = { error: e_2_1 }; }
- finally {
- try {
- if (_d && !_d.done && (_a = _c.return)) _a.call(_c);
- }
- finally { if (e_2) throw e_2.error; }
- }
- try {
- for (var _e = __values(this.charUsage.update()), _f = _e.next(); !_f.done; _f = _e.next()) {
- var _g = __read(_f.value, 2), name_1 = _g[0], N = _g[1];
- var variant = this.variant[name_1];
- this.addCharStyles(styles, variant.letter, N, variant.chars[N]);
- }
- }
- catch (e_3_1) { e_3 = { error: e_3_1 }; }
- finally {
- try {
- if (_f && !_f.done && (_b = _e.return)) _b.call(_e);
- }
- finally { if (e_3) throw e_3.error; }
- }
- return styles;
- };
- CHTMLFontData.prototype.allStyles = function (styles) {
- var e_4, _a, e_5, _b, e_6, _c;
- try {
- for (var _d = __values(Object.keys(this.delimiters)), _e = _d.next(); !_e.done; _e = _d.next()) {
- var n = _e.value;
- var N = parseInt(n);
- this.addDelimiterStyles(styles, N, this.delimiters[N]);
- }
- }
- catch (e_4_1) { e_4 = { error: e_4_1 }; }
- finally {
- try {
- if (_e && !_e.done && (_a = _d.return)) _a.call(_d);
- }
- finally { if (e_4) throw e_4.error; }
- }
- try {
- for (var _f = __values(Object.keys(this.variant)), _g = _f.next(); !_g.done; _g = _f.next()) {
- var name_2 = _g.value;
- var variant = this.variant[name_2];
- var vletter = variant.letter;
- try {
- for (var _h = (e_6 = void 0, __values(Object.keys(variant.chars))), _j = _h.next(); !_j.done; _j = _h.next()) {
- var n = _j.value;
- var N = parseInt(n);
- var char = variant.chars[N];
- if ((char[3] || {}).smp)
- continue;
- if (char.length < 4) {
- char[3] = {};
- }
- this.addCharStyles(styles, vletter, N, char);
- }
- }
- catch (e_6_1) { e_6 = { error: e_6_1 }; }
- finally {
- try {
- if (_j && !_j.done && (_c = _h.return)) _c.call(_h);
- }
- finally { if (e_6) throw e_6.error; }
- }
- }
- }
- catch (e_5_1) { e_5 = { error: e_5_1 }; }
- finally {
- try {
- if (_g && !_g.done && (_b = _f.return)) _b.call(_f);
- }
- finally { if (e_5) throw e_5.error; }
- }
- };
- CHTMLFontData.prototype.addFontURLs = function (styles, fonts, url) {
- var e_7, _a;
- try {
- for (var _b = __values(Object.keys(fonts)), _c = _b.next(); !_c.done; _c = _b.next()) {
- var name_3 = _c.value;
- var font = __assign({}, fonts[name_3]);
- font.src = font.src.replace(/%%URL%%/, url);
- styles[name_3] = font;
- }
- }
- catch (e_7_1) { e_7 = { error: e_7_1 }; }
- finally {
- try {
- if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
- }
- finally { if (e_7) throw e_7.error; }
- }
- };
- CHTMLFontData.prototype.addDelimiterStyles = function (styles, n, data) {
- var c = this.charSelector(n);
- if (data.c && data.c !== n) {
- c = this.charSelector(data.c);
- styles['.mjx-stretched mjx-c' + c + '::before'] = {
- content: this.charContent(data.c)
- };
- }
- if (!data.stretch)
- return;
- if (data.dir === 1) {
- this.addDelimiterVStyles(styles, c, data);
- }
- else {
- this.addDelimiterHStyles(styles, c, data);
- }
- };
- CHTMLFontData.prototype.addDelimiterVStyles = function (styles, c, data) {
- var HDW = data.HDW;
- var _a = __read(data.stretch, 4), beg = _a[0], ext = _a[1], end = _a[2], mid = _a[3];
- var Hb = this.addDelimiterVPart(styles, c, 'beg', beg, HDW);
- this.addDelimiterVPart(styles, c, 'ext', ext, HDW);
- var He = this.addDelimiterVPart(styles, c, 'end', end, HDW);
- var css = {};
- if (mid) {
- var Hm = this.addDelimiterVPart(styles, c, 'mid', mid, HDW);
- css.height = '50%';
- styles['mjx-stretchy-v' + c + ' > mjx-mid'] = {
- 'margin-top': this.em(-Hm / 2),
- 'margin-bottom': this.em(-Hm / 2)
- };
- }
- if (Hb) {
- css['border-top-width'] = this.em0(Hb - .03);
- }
- if (He) {
- css['border-bottom-width'] = this.em0(He - .03);
- styles['mjx-stretchy-v' + c + ' > mjx-end'] = { 'margin-top': this.em(-He) };
- }
- if (Object.keys(css).length) {
- styles['mjx-stretchy-v' + c + ' > mjx-ext'] = css;
- }
- };
- CHTMLFontData.prototype.addDelimiterVPart = function (styles, c, part, n, HDW) {
- if (!n)
- return 0;
- var data = this.getDelimiterData(n);
- var dw = (HDW[2] - data[2]) / 2;
- var css = { content: this.charContent(n) };
- if (part !== 'ext') {
- css.padding = this.padding(data, dw);
- }
- else {
- css.width = this.em0(HDW[2]);
- if (dw) {
- css['padding-left'] = this.em0(dw);
- }
- }
- styles['mjx-stretchy-v' + c + ' mjx-' + part + ' mjx-c::before'] = css;
- return data[0] + data[1];
- };
- CHTMLFontData.prototype.addDelimiterHStyles = function (styles, c, data) {
- var _a = __read(data.stretch, 4), beg = _a[0], ext = _a[1], end = _a[2], mid = _a[3];
- var HDW = data.HDW;
- this.addDelimiterHPart(styles, c, 'beg', beg, HDW);
- this.addDelimiterHPart(styles, c, 'ext', ext, HDW);
- this.addDelimiterHPart(styles, c, 'end', end, HDW);
- if (mid) {
- this.addDelimiterHPart(styles, c, 'mid', mid, HDW);
- styles['mjx-stretchy-h' + c + ' > mjx-ext'] = { width: '50%' };
- }
- };
- CHTMLFontData.prototype.addDelimiterHPart = function (styles, c, part, n, HDW) {
- if (!n)
- return;
- var data = this.getDelimiterData(n);
- var options = data[3];
- var css = { content: (options && options.c ? '"' + options.c + '"' : this.charContent(n)) };
- css.padding = this.padding(HDW, 0, -HDW[2]);
- styles['mjx-stretchy-h' + c + ' mjx-' + part + ' mjx-c::before'] = css;
- };
- CHTMLFontData.prototype.addCharStyles = function (styles, vletter, n, data) {
- var options = data[3];
- var letter = (options.f !== undefined ? options.f : vletter);
- var selector = 'mjx-c' + this.charSelector(n) + (letter ? '.TEX-' + letter : '');
- styles[selector + '::before'] = {
- padding: this.padding(data, 0, options.ic || 0),
- content: (options.c != null ? '"' + options.c + '"' : this.charContent(n))
- };
- };
- CHTMLFontData.prototype.getDelimiterData = function (n) {
- return this.getChar('-smallop', n);
- };
- CHTMLFontData.prototype.em = function (n) {
- return (0, lengths_js_1.em)(n);
- };
- CHTMLFontData.prototype.em0 = function (n) {
- return (0, lengths_js_1.em)(Math.max(0, n));
- };
- CHTMLFontData.prototype.padding = function (_a, dw, ic) {
- var _b = __read(_a, 3), h = _b[0], d = _b[1], w = _b[2];
- if (dw === void 0) { dw = 0; }
- if (ic === void 0) { ic = 0; }
- return [h, w + ic, d, dw].map(this.em0).join(' ');
- };
- CHTMLFontData.prototype.charContent = function (n) {
- return '"' + (n >= 0x20 && n <= 0x7E && n !== 0x22 && n !== 0x27 && n !== 0x5C ?
- String.fromCharCode(n) : '\\' + n.toString(16).toUpperCase()) + '"';
- };
- CHTMLFontData.prototype.charSelector = function (n) {
- return '.mjx-c' + n.toString(16).toUpperCase();
- };
- CHTMLFontData.OPTIONS = __assign(__assign({}, FontData_js_1.FontData.OPTIONS), { fontURL: 'js/output/chtml/fonts/tex-woff-v2' });
- CHTMLFontData.JAX = 'CHTML';
- CHTMLFontData.defaultVariantClasses = {};
- CHTMLFontData.defaultVariantLetters = {};
- CHTMLFontData.defaultStyles = {
- 'mjx-c::before': {
- display: 'block',
- width: 0
- }
- };
- CHTMLFontData.defaultFonts = {
- '@font-face /* 0 */': {
- 'font-family': 'MJXZERO',
- src: 'url("%%URL%%/MathJax_Zero.woff") format("woff")'
- }
- };
- return CHTMLFontData;
- }(FontData_js_1.FontData));
- exports.CHTMLFontData = CHTMLFontData;
- function AddCSS(font, options) {
- var e_8, _a;
- try {
- for (var _b = __values(Object.keys(options)), _c = _b.next(); !_c.done; _c = _b.next()) {
- var c = _c.value;
- var n = parseInt(c);
- Object.assign(FontData_js_1.FontData.charOptions(font, n), options[n]);
- }
- }
- catch (e_8_1) { e_8 = { error: e_8_1 }; }
- finally {
- try {
- if (_c && !_c.done && (_a = _b.return)) _a.call(_b);
- }
- finally { if (e_8) throw e_8.error; }
- }
- return font;
- }
- exports.AddCSS = AddCSS;
- //# sourceMappingURL=FontData.js.map
|