fix missing markdown-it-mathjax npm package

.gitignore

@@ -3,3 +3,4 @@ lib/
 node_modules/
 *.egg-info/
 *.ipynb_checkpoints
+tsconfig.tsbuildinfo

package.json

@@ -52,6 +52,7 @@
     "fuzzyset": "0.0.4",
     "markdown-it": "^9.0.1",
     "markdown-it-ins": "^2.0.0",
+    "markdown-it-mathjax": "^2.0.0",
     "material-design-icons-iconfont": "^5.0.1",
     "mathjax": "^2.7.5",
     "mathjax-node": "^2.1.1",

src/RichTextMenu.tsx

@@ -23,7 +23,8 @@ import { CodeMenu } from "./codemenu";
 import { Widget } from '@phosphor/widgets';
 import ReactDOM from "react-dom";
 import { schema } from "./prosemirror/prosemirror-schema";
-import { wrapInList } from "prosemirror-schema-list";
+import { wrapInList, liftListItem, sinkListItem } from "prosemirror-schema-list";
+import {undo, redo} from "prosemirror-history";
 
 // import { PageConfig } from "@jupyterlab/coreutils";
 // import { MenuWidgetObject } from './widget';
@@ -149,7 +150,7 @@ export default class RichTextMenu extends React.Component<{view: EditorView,
     componentDidMount() {
 
         if (!this.props.view) {
-            this.setState({inactiveMarks: ["strong", "em", "underline", "strikethrough", "heading", "bullet_list", "ordered_list", "blockquote", "code", "link", "image"]});
+            this.setState({inactiveMarks: ["undo", "redo", "strong", "em", "underline", "strikethrough", "heading", "bullet_list", "ordered_list", "blockquote", "code", "link", "image"]});
         }
     }
     componentWillUnmount() {
@@ -311,6 +312,18 @@ export default class RichTextMenu extends React.Component<{view: EditorView,
             case "ordered_list":
                 wrapInList(schema.nodes.ordered_list)(view.state, view.dispatch);
                 break;
+            case "indent_increase":
+                sinkListItem(schema.nodes.list_item)(view.state, view.dispatch);
+                break;
+            case "indent_decrease":
+                liftListItem(schema.nodes.list_item)(view.state, view.dispatch);
+                break;
+            case "undo":
+                undo(view.state, view.dispatch);
+                break;
+            case "redo":
+                redo(view.state, view.dispatch);
+                break;
             default: 
                 break;
         };
@@ -480,10 +493,10 @@ export default class RichTextMenu extends React.Component<{view: EditorView,
      */
     render() {
 
-        const formats = ["format_bold", "format_italic", "format_underline", "strikethrough_s", 
-        "text_fields", "format_list_bulleted", "format_list_numbered", "format_quote", "code",  "insert_link", "photo", ];
+        const formats = ["undo", "redo", "format_bold", "format_italic", "format_underline", "strikethrough_s", 
+        "text_fields", "format_list_bulleted", "format_list_numbered", "format_indent_decrease", "format_indent_increase", "format_quote", "code",  "insert_link", "photo", ];
         const tooltips = ["bold", "italic", "underline", "strikethrough", "text-styles", "bulleted-list", "numbered-list", "blockquote", "code", "link", "image"];
-        const marks = ["strong", "em", "underline", "strikethrough", "heading", "bullet_list", "ordered_list", "blockquote", "code", "link", "image"];
+        const marks = ["undo", "redo", "strong", "em", "underline", "strikethrough", "heading", "bullet_list", "ordered_list", "indent_increase", "indent_decrease", "blockquote", "code", "link", "image"];
         // const separators = ["strong", "bullet_list", "link"]
         return (
             <div className="menu">

src/MenuItem.tsx → src/menuitem.tsx

@@ -100,6 +100,14 @@ export default class MenuItem extends React.Component<{format: string, active: b
                 return "ordered_list";
             case "text_fields":
                 return "heading";
+            case "undo":
+                return "undo";
+            case "redo":
+                return "redo";
+            case "format_indent_increase":
+                return "indent_increase";
+            case "format_indent_decrease":
+                return "indent_decrease";
             default:
                 break;
         }
@@ -153,4 +161,4 @@ export default class MenuItem extends React.Component<{format: string, active: b
 
     }
 
-}
+}

src/prosemirror/ProseMirrorEditor.ts

@@ -18,6 +18,7 @@ import { schema } from "./prosemirror-schema";
 import { CodeBlockView, InlineMathView, BlockMathView, ImageView } from "./nodeviews";
 import { createInputRules } from "./inputrules";
 import { inputRules } from "prosemirror-inputrules";
+import { history } from "prosemirror-history";
 // import { Node } from "prosemirror-model";
 // import markdownit from "markdown-it/lib";
 // import { Transaction } from "prosemirror-state";
@@ -386,6 +387,8 @@ namespace Private {
                     initValue
                 ),
                 plugins: [
+                    // Load history plugin
+                    history(),
                     keymap(buildKeymap(schema)),
                     keymap(baseKeymap),
                     inputRules({rules: createInputRules()}),