terminal user interface to jujutsu. Focused on speed and clarity
git push multi rev
+4
-4
+2
-2
forks/nottui/lib/nottui/widgets/overlays.ml
+2
-2
forks/nottui/lib/nottui/widgets/overlays.ml
···
234
234
|> clear_bg
235
235
(*This is a little confusing, but by wrapping the content in 2 nested keyboard areas we make it the user cannot escape the popup.
236
236
becasue focus moves between keyboard areas within a current keyboard area by adding 2 we make escape impossible *)
237
-
|> Lwd.map ~f:(fun ui ->
238
-
ui |> Ui.keyboard_area (fun x -> `Unhandled))
237
+
(* |> Lwd.map ~f:(fun ui -> *)
238
+
(* ui |> Ui.keyboard_area (fun x -> `Unhandled)) *)
239
239
| None ->
240
240
Focus.release_reversable focus;
241
241
Ui.empty |> Lwd.pure
+2
-2
jj_tui/bin/graph_view.ml
+2
-2
jj_tui/bin/graph_view.ml
···
261
261
{
262
262
key = key_map.git.push
263
263
; description = "proceed"
264
-
; cmd = Cmd ([ "git"; "push"; "--allow-new"; "-r" ] @ revs)
264
+
; cmd = Cmd ([ "git"; "push"; "--allow-new" ] @ (revs|>List.concat_map(fun x-> ["-r";x])))
265
265
}
266
266
; {
267
267
key = key_map.git.fetch
···
277
277
let log =
278
278
jj_no_log
279
279
~get_stderr:true
280
-
([ "git"; "push"; "--allow-new"; "--dry-run"; "-r" ] @ revs)
280
+
([ "git"; "push"; "--allow-new"; "--dry-run"; ] @ (revs|>List.concat_map(fun x-> ["-r";x])))
281
281
|> AnsiReverse.colored_string
282
282
|> Ui.atom
283
283
|> Lwd.pure