2778b9220c
* Remove unnecessary stopPropagation of mathjax-overlay events * Use CodeMirror component for MathjaxHandle * Refactor ResizeObserver code in MathjaxHandle * Wrap setRange in CodeMirror in try/catch * Add Mathjax Editor bottom margin * Add custom Enter and Shift+Enter shortcuts for the MathjaxHandle * Format * Move placeCaretAfter to domlib * Move focus back to field after editing Mathjax * Put Cursor after Mathjax after accepting * Add delete button for Mathjax * Change border color of mathjax menu * Refactor into MathjaxMenu * Put caretKeyword in variable * Use one ResizeObserver for all Mathjax images * Add minmimum width for Mathjax editor * is still smaller than minimal window width * Add bazel directories to .prettierignore and format from root * exclude ftl/usage (dae) the json files that live there are output from our tooling, and formatting them means an extra step each time we want to update them also exclude .mypy_cache, which is output by scripts/mypy* * minor ftl tweak: newline -> new line (dae)
48 lines
1.3 KiB
TypeScript
48 lines
1.3 KiB
TypeScript
// Copyright: Ankitects Pty Ltd and contributors
|
|
// License: GNU AGPL, version 3 or later; http://www.gnu.org/licenses/agpl.html
|
|
|
|
import "codemirror/lib/codemirror.css";
|
|
import "codemirror/theme/monokai.css";
|
|
import "codemirror/addon/fold/foldgutter.css";
|
|
|
|
import CodeMirror from "codemirror";
|
|
import "codemirror/mode/htmlmixed/htmlmixed";
|
|
import "codemirror/mode/stex/stex";
|
|
import "codemirror/addon/fold/foldcode";
|
|
import "codemirror/addon/fold/foldgutter";
|
|
import "codemirror/addon/fold/xml-fold";
|
|
import "codemirror/addon/edit/matchtags";
|
|
import "codemirror/addon/edit/closetag";
|
|
import "codemirror/addon/display/placeholder";
|
|
|
|
export { CodeMirror };
|
|
|
|
export const latex = {
|
|
name: "stex",
|
|
inMathMode: true,
|
|
};
|
|
|
|
export const htmlanki = {
|
|
name: "htmlmixed",
|
|
tags: {
|
|
"anki-mathjax": [[null, null, latex]],
|
|
},
|
|
};
|
|
|
|
export const baseOptions: CodeMirror.EditorConfiguration = {
|
|
theme: "monokai",
|
|
lineWrapping: true,
|
|
matchTags: { bothTags: true },
|
|
autoCloseTags: true,
|
|
extraKeys: { Tab: false, "Shift-Tab": false },
|
|
tabindex: 0,
|
|
viewportMargin: Infinity,
|
|
lineWiseCopyCut: false,
|
|
};
|
|
|
|
export const gutterOptions: CodeMirror.EditorConfiguration = {
|
|
gutters: ["CodeMirror-linenumbers", "CodeMirror-foldgutter"],
|
|
lineNumbers: true,
|
|
foldGutter: true,
|
|
};
|