diff options
author | Sébastien Dailly <sebastien@chimrod.com> | 2021-04-08 20:27:36 +0200 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-07 16:43:33 +0100 |
commit | 7d83ee3912582d3435d5a7c5fe4cb8a21617425b (patch) | |
tree | 39d374dfa22c7f4092226082c9d1260462cb8a88 /editor/plugins.ml | |
parent | 210a4d94836d07bb71cad46b3e670c1977cfe833 (diff) |
Added custom link popin in text editor
Diffstat (limited to 'editor/plugins.ml')
-rwxr-xr-x | editor/plugins.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/editor/plugins.ml b/editor/plugins.ml index 69319c4..68f9c31 100755 --- a/editor/plugins.ml +++ b/editor/plugins.ml @@ -71,7 +71,7 @@ let toggle_mark | None -> Js.null | Some mark_type -> - let m = state##.schema##mark_type mark_type Js.null in + let m = state##.schema##mark_fromType mark_type Js.null in (* Delete the markup code *) let tr = (state##.tr)##delete ~from ~to_ in @@ -129,6 +129,7 @@ let default pm schema = let _ = setup##unshift keymaps in let _ = setup##push (input_rule pm) in let _ = setup##push (Tooltip.bold_plugin pm) in + let _ = setup##push (Link_editor.plugin pm) in Js.some setup |