EncloseConfiguration.js 1.3 KB

123456789101112131415161718192021222324252627282930
  1. "use strict";
  2. var __importDefault = (this && this.__importDefault) || function (mod) {
  3. return (mod && mod.__esModule) ? mod : { "default": mod };
  4. };
  5. Object.defineProperty(exports, "__esModule", { value: true });
  6. exports.EncloseConfiguration = exports.EncloseMethods = exports.ENCLOSE_OPTIONS = void 0;
  7. var Configuration_js_1 = require("../Configuration.js");
  8. var SymbolMap_js_1 = require("../SymbolMap.js");
  9. var ParseUtil_js_1 = __importDefault(require("../ParseUtil.js"));
  10. exports.ENCLOSE_OPTIONS = {
  11. 'data-arrowhead': 1,
  12. color: 1,
  13. mathcolor: 1,
  14. background: 1,
  15. mathbackground: 1,
  16. 'data-padding': 1,
  17. 'data-thickness': 1
  18. };
  19. exports.EncloseMethods = {};
  20. exports.EncloseMethods.Enclose = function (parser, name) {
  21. var notation = parser.GetArgument(name).replace(/,/g, ' ');
  22. var attr = parser.GetBrackets(name, '');
  23. var math = parser.ParseArg(name);
  24. var def = ParseUtil_js_1.default.keyvalOptions(attr, exports.ENCLOSE_OPTIONS);
  25. def.notation = notation;
  26. parser.Push(parser.create('node', 'menclose', [math], def));
  27. };
  28. new SymbolMap_js_1.CommandMap('enclose', { enclose: 'Enclose' }, exports.EncloseMethods);
  29. exports.EncloseConfiguration = Configuration_js_1.Configuration.create('enclose', { handler: { macro: ['enclose'] } });
  30. //# sourceMappingURL=EncloseConfiguration.js.map