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); >>