this repo has no description
git subrepo pull (merge) --branch=main --force vendor/jsoo-code-mirror
subrepo:
subdir: "vendor/jsoo-code-mirror"
merged: "8fe4891"
upstream:
origin: "git@github.com:voodoos/jsoo-code-mirror.git"
branch: "main"
commit: "8fe4891"
git-subrepo:
version: "0.4.5"
origin: "https://github.com/ingydotnet/git-subrepo"
commit: "aa416e4"
+6
-13
+4
-4
vendor/jsoo-code-mirror/.gitrepo
+4
-4
vendor/jsoo-code-mirror/.gitrepo
···
5
5
;
6
6
[subrepo]
7
7
remote = git@github.com:voodoos/jsoo-code-mirror.git
8
-
branch = upgrade-to-cm-6
9
-
commit = 98ccc2323ef234f619493db01431f75a44e4f306
10
-
parent = 6324730c91a5b7dd4b26324922fe28ae7ddd3550
8
+
branch = main
9
+
commit = 8fe48910e265ff87f9fc94ceb7b3d19fac102a96
10
+
parent = b6c3b3124430bf8db186c5f73e8b1df6e4c80565
11
11
method = merge
12
-
cmdver = 0.4.3
12
+
cmdver = 0.4.5
+2
-9
vendor/jsoo-code-mirror/example/src/index.ml
+2
-9
vendor/jsoo-code-mirror/example/src/index.ml
···
1
1
open Code_mirror
2
2
open Brr
3
+
3
4
let basic_setup = Jv.get Jv.global "__CM__basic_setup" |> Extension.of_jv
4
5
5
6
let init ?doc ?(exts = [||]) () =
6
7
let open Editor in
7
-
Console.(log ["toto"]);
8
8
let config =
9
9
State.Config.create ?doc
10
10
~extensions:(Array.concat [ [| basic_setup |]; exts ])
11
11
()
12
12
in
13
-
Console.(log ["toto2"]);
14
13
let state = State.create ~config () in
15
-
Console.(log ["toto3"]);
16
-
let opts = View.opts
17
-
~state
18
-
~parent:(Document.body G.document) ()
19
-
in
20
-
Console.(log ["toto4"]);
14
+
let opts = View.opts ~state ~parent:(Document.body G.document) () in
21
15
let view : View.t = View.create ~opts () in
22
-
Console.(log ["toto5"]);
23
16
(state, view)
24
17
25
18
let _editor = init ~exts:[||] ()