elidowling.com / jj_tui
terminal user interface to jujutsu. Focused on speed and clarity
9
fork

Configure Feed

Select the types of activity you want to include in your feed.

prevent tab from allowing us to escape menu

Eli Dowling 36c550e6 f89ce547

+4 -3
+4 -3
jj_tui/bin/jj_ui.ml
··· 59 59 `Handled 60 60 (* | `Arrow _, [ `Ctrl ] *) 61 61 (* | `Arrow _, [ `Meta ] *) 62 - (* | `Tab, [ `Meta ] *) 63 - (* | `Tab, [ `Meta; `Shift ] -> *) 64 - (* `Handled *) 62 + | `Tab,[]->`Handled 63 + | `Tab, [ `Meta ] 64 + | `Tab, [ `Meta; `Shift ] -> 65 + `Handled 65 66 | _ -> 66 67 `Unhandled) 67 68 ; (fun event ->