terminal user interface to jujutsu. Focused on speed and clarity
use left and right arrows for navigation
+5
-1
+5
-1
jj_tui/bin/jj_ui.ml
+5
-1
jj_tui/bin/jj_ui.ml
···
46
46
match custom event with
47
47
| `Unhandled ->
48
48
(match event with
49
+
| `Arrow (`Left), _ ->
50
+
`Remap (`Focus `Up,[])
51
+
| `Arrow (`Right), _ ->
52
+
`Remap (`Focus `Down,[])
49
53
| `ASCII 'q', _ ->
50
54
Vars.quit $= true;
51
55
`Handled
···
110
114
; Graph_view.graph_view ()
111
115
|>$ Ui.resize ~sh:3 ~w:5 ~sw:1 ~mw:1000 ~h:10 ~mh:1000
112
116
|> W.Box.focusable ~focus:graph_focus ~pad_h:0 ~pad_w:1
113
-
; W.Scroll.area (ui_state.jj_branches $-> Ui.atom)
117
+
; W.Scroll.v_area (ui_state.jj_branches $-> Ui.atom)
114
118
|> W.is_focused ~focus:branch_focus (fun ui focused ->
115
119
ui
116
120
|> Ui.keyboard_area (function