123456789101112131415161718192021222324252627282930 |
- "use strict";
- var __importDefault = (this && this.__importDefault) || function (mod) {
- return (mod && mod.__esModule) ? mod : { "default": mod };
- };
- Object.defineProperty(exports, "__esModule", { value: true });
- exports.EncloseConfiguration = exports.EncloseMethods = exports.ENCLOSE_OPTIONS = void 0;
- var Configuration_js_1 = require("../Configuration.js");
- var SymbolMap_js_1 = require("../SymbolMap.js");
- var ParseUtil_js_1 = __importDefault(require("../ParseUtil.js"));
- exports.ENCLOSE_OPTIONS = {
- 'data-arrowhead': 1,
- color: 1,
- mathcolor: 1,
- background: 1,
- mathbackground: 1,
- 'data-padding': 1,
- 'data-thickness': 1
- };
- exports.EncloseMethods = {};
- exports.EncloseMethods.Enclose = function (parser, name) {
- var notation = parser.GetArgument(name).replace(/,/g, ' ');
- var attr = parser.GetBrackets(name, '');
- var math = parser.ParseArg(name);
- var def = ParseUtil_js_1.default.keyvalOptions(attr, exports.ENCLOSE_OPTIONS);
- def.notation = notation;
- parser.Push(parser.create('node', 'menclose', [math], def));
- };
- new SymbolMap_js_1.CommandMap('enclose', { enclose: 'Enclose' }, exports.EncloseMethods);
- exports.EncloseConfiguration = Configuration_js_1.Configuration.create('enclose', { handler: { macro: ['enclose'] } });
- //# sourceMappingURL=EncloseConfiguration.js.map
|