From deda4269e7f554e545c35fd8c22dcf20814bf154 Mon Sep 17 00:00:00 2001 From: cqc Date: Mon, 19 Feb 2024 16:38:36 -0600 Subject: [PATCH] init.ml --- .config/init.ml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/.config/init.ml b/.config/init.ml index 158f505..e81a606 100644 --- a/.config/init.ml +++ b/.config/init.ml @@ -59,13 +59,10 @@ let setup_workspace ~container cstore : unit Lwt.t = (Headers.get headers "path")) in let status = F.str "Name: %s; Path: %a" step Uri.pp_hum uri in - let window : Html_types.nmtokens = - Tyxml_js.Html.[ "window" ] - in appendchild ~container Tyxml_js.Html.( a - ~a:[ a_class window ] + ~a:[ a_class [ "window" ] ] [ div ~a:[ a_class [ "status" ] ] [ txt status ]; div