···357357 |> Ui.atom
358358 |> Lwd.pure)))
359359 in
360360- (*This is then used in selection prompts*)
361361- Vars.ui_state.graph_revs $= Array.sub selectable_items 0 !selectable_idx;
362360 items
363361 in
364362 (* run commands when there is keybaord input*)