terminal user interface to jujutsu. Focused on speed and clarity
don't handle escape in list if no selection was made
+6
-2
+6
-2
forks/nottui/lib/nottui/widgets/selection_list.ml
+6
-2
forks/nottui/lib/nottui/widgets/selection_list.ml
···
206
206
(Lwd.peek selected_items_var |> MyMap.to_list |> List.map (fun (_, a) -> a));
207
207
`Handled
208
208
| `Escape, [] ->
209
-
Lwd.set selected_items_var MyMap.empty;
210
-
`Handled
209
+
let selected = Lwd.peek selected_items_var in
210
+
if MyMap.is_empty selected
211
+
then `Unhandled
212
+
else (
213
+
Lwd.set selected_items_var MyMap.empty;
214
+
`Handled)
211
215
| a -> custom_handler ~selected:(Lwd.peek selected_items_var) ~selectable_items a)
212
216
in
213
217
let rendered_size_var = Lwd.var (0, 0) in