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.

add redo command

Eli Dowling e4b78dcc 30543f4b

+7
+6
jj_tui/bin/graph_commands.ml
··· 162 162 ; make_cmd = (fun () -> Cmd [ "undo" ]) 163 163 } 164 164 ; { 165 + id = "redo" 166 + ; sorting_key = 7.1 167 + ; description = "Redo the last operation" 168 + ; make_cmd = (fun () -> Cmd [ "redo" ]) 169 + } 170 + ; { 165 171 id = "commit_base" 166 172 ; sorting_key = 8.0 167 173 ; description =
+1
jj_tui/lib/key_map.ml
··· 338 338 ; cmd "c" "commit" 339 339 ; sub "A" "absorb" [ cmd "a" "absorb"; cmd "t" "absorb-into" ] 340 340 ; cmd "u" "undo" 341 + ; cmd "U" "redo" 341 342 ] 342 343 } 343 344 ;;