terminal user interface to jujutsu. Focused on speed and clarity
fix stupid mistake with id
+3
-2
+3
-2
forks/nottui/lib/nottui/widgets/selection_list.ml
+3
-2
forks/nottui/lib/nottui/widgets/selection_list.ml
···
142
142
else items, selectable_items
143
143
and$ _ = Lwd.get hover_changed
144
144
and$ selected_items = Lwd.get selected_items_var in
145
-
let _, _, hovered = !hovered_var in
145
+
(* FIXME: can i just get rid of all the other parts of the hovered var now that we store the id?*)
146
+
let hovered_id, _, _= !hovered_var in
146
147
(*==== Rendering The list ====*)
147
148
(* Ui.vcat can be a little weird when the *)
148
149
if items |> Array.length = 0
···
153
154
match x with
154
155
| Filler ui -> ui
155
156
| Selectable x ->
156
-
let hovered = hovered == i in
157
+
let hovered = hovered_id == x.id in
157
158
let selected = selected_items |> MyMap.mem x.id in
158
159
if hovered
159
160
then