console/rootstore
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

remove code causing tyxml error about Html_types.nmtokens

Browse Source
This commit is contained in:
cqc
2024-03-29 17:13:14 -05:00
parent 65235b5e36
commit df7caee5d6
1 changed files with 2 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
.config/init.ml
View File

@ -60,12 +60,7 @@ let setup_workspace ~container cstore : unit Lwt.t =
(Headers.get headers "path")) (Headers.get headers "path"))
in in
appendchild ~container appendchild ~container
Tyxml_js.Html.( Tyxml_js.Html.(a [ div [ txt "starting..." ] ]);
a
~a:[ a_class [ "window" ] ]
[
div ~a:[ a_class [ "status" ] ] [ txt "starting..." ];
]);
(* Tyxml.Html.( (* Tyxml.Html.(
a a
~a:[ a_class [ "window" ] ] ~a:[ a_class [ "window" ] ]
@ -99,24 +94,7 @@ let setup_storeview ~container ~textbox ~(storeview : Store.t Lwt.t) :
(fun acc tok -> (fun acc tok ->
match tok with match tok with
| step, _tree -> | step, _tree ->
let a = let a = Tyxml_js.Html.(a [ txt step ]) in
Tyxml_js.Html.(
a
~a:
[
a_class [ "list-group-item" ];
a_onclick (fun _ ->
textbox##.value :=
(Js.string acc)##trim;
Lwt.async (fun () ->
resize ~container ~textbox ()
>>= fun () ->
textbox##focus;
Lwt.return_unit);
true);
]
[ txt step ])
in
Dom.appendChild storeview_container Dom.appendChild storeview_container
(Tyxml_js.To_dom.of_a a); (Tyxml_js.To_dom.of_a a);
"") "")