mirror of
https://github.com/tomaz1502/lean-syntax-highlight.git
synced 2026-07-22 09:30:24 +00:00
13 lines
208 B
TypeScript
13 lines
208 B
TypeScript
import { Plugin } from 'obsidian'
|
|
|
|
import './mode/lean/lean'
|
|
|
|
export default class LeanSyntaxHighlightPlugin extends Plugin {
|
|
|
|
onload(): void { }
|
|
|
|
onunload() {
|
|
delete CodeMirror.modes["lean"];
|
|
}
|
|
|
|
}
|