From 9bf324cbe26113b55f0f0d29f10a720f661dd113 Mon Sep 17 00:00:00 2001 From: Vincent Balat Date: Fri, 22 Mar 2024 15:25:41 +0100 Subject: [PATCH] Backport fixes to 7.1 --- tutos/7.1/manual/application.wiki | 18 +++++++----------- 1 file changed, 7 insertions(+), 11 deletions(-) diff --git a/tutos/7.1/manual/application.wiki b/tutos/7.1/manual/application.wiki index f3f1af3c..1b146f18 100644 --- a/tutos/7.1/manual/application.wiki +++ b/tutos/7.1/manual/application.wiki @@ -498,9 +498,9 @@ module%server Graffiti_app = let global_data_path = None end) >> -<> <> To create the widget, we replace {{{page}}} by : @@ -1009,8 +1006,7 @@ arrives. To do that, we will use the For using Cairo, first, make sure that it is installed (it is available as {{{cairo2}}} via OPAM). Second, add it to the -{{{SERVER_PACKAGES}}} in your {{{Makefile.options}}}: <> +{{{libraries}}} section in your {{{dune}}} file. The {{{draw_server}}} function below is the equivalent of the {{{draw}}} function on the server side and the {{{image_string}}} @@ -1096,7 +1092,7 @@ let img = Eliom_content.Html.To_dom.of_img ~src:(Html.D.make_uri ~service:~%imageservice ()) ()) in -img##.onload := Dom_html.handler (fun ev -> +img##.onload := Dom_html.handler (fun _ev -> ctx##drawImage img 0. 0.; Js._false); >>