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.

update more aggressively

Eli Dowling fdbed8b4 0fb8e4a9

+1
+1
jj_tui/bin/jj_ui.ml
··· 219 219 match startup_result with 220 220 | `Good -> 221 221 Flock.fork (fun () -> 222 + update_if_changed (); 222 223 while true do 223 224 Picos.Fiber.sleep ~seconds:5.0; 224 225 update_if_changed ()