blob: 701443f74226994512100a910859e714bae518ed (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
|
import React from "react";
import ReactDOM from "react-dom";
import hljs from "highlight.js/lib/core";
// const hljs = window.hljs;
import "highlight.js/styles/devibeans.css";
import markdown from "highlight.js/lib/languages/markdown.js";
import "../index.css";
import mit from "markdown-it";
hljs.registerLanguage("markdown", markdown);
// const mit = require("markdown-it")({ html: true })
// .enable(["table"])
// .disable(["strikethrough"])
// .use(require("markdown-it-texmath"), {
// engine: require("katex"),
// delimiters: "gitlab",
// katexOptions: { macros: { "\\RR": "\\mathbb{R}" } },
// })
// .use(require("markdown-it-multimd-table"))
// .use(require("markdown-it-highlightjs"), {
// inline: true,
// auto: true,
// code: true,
// });
export default class Editor extends React.Component {
constructor(props) {
super(props);
this.handleInput = this.handleInput.bind(this);
this.handleScroll = this.handleScroll.bind(this);
this.handleKeyDown = this.handleKeyDown.bind(this);
this.updateCodeSyntaxHighlighting =
this.updateCodeSyntaxHighlighting.bind(this);
this.handleChange = this.handleChange.bind(this);
this.parseMarkdown = this.parseMarkdown.bind(this);
this.state = { value: "" };
}
// TODO-use web worker instead
updateCodeSyntaxHighlighting() {
document.querySelectorAll("pre code").forEach((block) => {
hljs.highlightElement(block);
});
}
// TODO-use web worker instead
parseMarkdown(event) {
let element = document.getElementById("markdown-placeholder");
let md = new mit();
let htm = md.render(event.target.value);
element.innerHTML = htm;
}
handleChange(event) {
this.setState({ value: event.target.value });
}
handleInput(event) {
let result_element = document.getElementById("highlight-content");
result_element.textContent = event.target.value;
this.updateCodeSyntaxHighlighting();
this.parseMarkdown(event);
let result_element_2 = document.querySelector("#highlight");
result_element_2.scrollTop = event.currentTarget.scrollTop;
result_element_2.scrollLeft = event.currentTarget.scrollLeft;
this.setState({ value: event.target.value });
}
handleScroll(event) {
let result_element = document.querySelector("#highlight");
result_element.scrollTop = event.currentTarget.scrollTop;
result_element.scrollLeft = event.currentTarget.scrollLeft;
}
handleKeyDown(event) {
let element = event.currentTarget;
let code = this.state.value;
if (event.key == "Tab") {
event.preventDefault();
let before_tab = code.slice(0, element.selectionStart);
let after_tab = code.slice(element.selectionEnd, element.value.length);
let cursor_pos = element.selectionEnd + 1;
element.value = before_tab + "\t" + after_tab;
element.selectionStart = cursor_pos;
element.selectionEnd = cursor_pos;
this.handleInput(event);
}
}
render() {
return (
<div>
<div>
<pre id="highlight" aria-hidden="true" direction="rtl">
<code
id="highlight-content"
className="language-markdown"
direction="rtl"
></code>
</pre>
<textarea
spellcheck="false"
name="editor"
className="editor"
id="editor"
value={this.state.value}
onChange={this.handleChange.bind(this)}
onInput={this.handleInput.bind(this)}
onScroll={this.handleScroll.bind(this)}
onKeyDown={this.handleKeyDown.bind(this)}
direction="rtl"
></textarea>
</div>
<div className="split right">
<p direction="rtl" id="markdown-placeholder"></p>
</div>
</div>
);
}
}
|