diff options
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 |