css_highlighter.js 938 B

12345678910111213141516171819202122232425262728
  1. "use strict";
  2. Object.defineProperty(exports, "__esModule", { value: true });
  3. exports.CssHighlighter = void 0;
  4. const abstract_highlighter_js_1 = require("./abstract_highlighter.js");
  5. class CssHighlighter extends abstract_highlighter_js_1.AbstractHighlighter {
  6. constructor() {
  7. super();
  8. this.mactionName = 'mjx-maction';
  9. }
  10. highlightNode(node) {
  11. const info = {
  12. node: node,
  13. background: node.style.backgroundColor,
  14. foreground: node.style.color
  15. };
  16. if (!this.isHighlighted(node)) {
  17. const color = this.colorString();
  18. node.style.backgroundColor = color.background;
  19. node.style.color = color.foreground;
  20. }
  21. return info;
  22. }
  23. unhighlightNode(info) {
  24. info.node.style.backgroundColor = info.background;
  25. info.node.style.color = info.foreground;
  26. }
  27. }
  28. exports.CssHighlighter = CssHighlighter;