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.

fixed focus issue by nesting focus

Eli Dowling d76b683a fdbed8b4

+1 -1
+1 -1
forks/nottui/lib/nottui/widgets/overlays.ml
··· 55 55 let$* label_bottom = label_bottom in 56 56 (*prefill the prompt if we want to *) 57 57 prompt_content 58 - |> BB.box ?pad_w ?pad_h ~label_top:label ?label_bottom 58 + |> BB.focusable ~focus ?pad_w ?pad_h ~label_top:label ?label_bottom 59 59 |> clear_bg 60 60 |> Lwd.map2 (Focus.status focus) ~f:(fun focus_status ui -> 61 61 ui