terminal user interface to jujutsu. Focused on speed and clarity
fix hovered id not always being valid
+4
-4
+4
-4
forks/nottui/lib/nottui/widgets/selection_list.ml
+4
-4
forks/nottui/lib/nottui/widgets/selection_list.ml
···
115
115
| `Found _ -> nCount, acc
116
116
| `Same_idx _ ->
117
117
if item.id = hovered_id
118
-
then nCount, `Found (hovered_id, idx, count)
118
+
then nCount, `Found (item.id, idx, count)
119
119
else nCount, acc
120
120
| `Searching _ ->
121
121
if item.id = hovered_id
122
-
then nCount, `Found (hovered_id, idx, count)
122
+
then nCount, `Found (item.id, idx, count)
123
123
else if count == hovered_selection_idx
124
-
then nCount, `Same_idx (hovered_id, idx, count)
125
-
else nCount, `Searching (hovered_id, idx, count))
124
+
then nCount, `Same_idx (item.id, idx, count)
125
+
else nCount, `Searching (item.id, idx, count))
126
126
(0, `Searching (0, 0, 0))
127
127
|> snd
128
128
|> function