Skip to content

Commit 29d370d

Browse files
committed
feat: Ctrl + left-click is used instead of middle-click to see partitions
1 parent 04bb39f commit 29d370d

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

src/app/learnocaml_teacher_tab.ml

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -236,7 +236,10 @@ let rec teacher_tab token _select _params () =
236236
H.a_ondblclick (fun _ -> open_exercise_ ());
237237
H.a_onmouseup (fun ev ->
238238
Js.Optdef.case ev##.which (fun () -> true) @@ fun btn ->
239-
if btn = Dom_html.Middle_button then open_partition_ () else true);
239+
if Js.to_bool ev##.ctrlKey && btn = Dom_html.Left_button then
240+
open_partition_ ()
241+
else
242+
true);
240243
] [
241244
auto_checkbox_td ();
242245
H.td ~a:[indent_style group_level]

0 commit comments

Comments
 (0)