From 494d4eb2151bb2c7cb964f4c88ecbaa1bb113a7f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Mon, 7 Dec 2020 21:34:10 +0100 Subject: [PATCH] Status checkmark: css cursor --- lib/views.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/views.ml b/lib/views.ml index 38348a2..2129acb 100644 --- a/lib/views.ml +++ b/lib/views.ml @@ -7,13 +7,13 @@ let check_icon result = match result with | Builder.Exited 0 -> span ~a:[ - a_style "color: green;"; + a_style "color: green; cursor: pointer;"; a_titlef "%a" Builder.pp_execution_result result; ] [txt "☑"] | _ -> span ~a:[ - a_style "color: red;"; + a_style "color: red; cursor: pointer;"; a_titlef "%a" Builder.pp_execution_result result; ] [txt "☒"]