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.

remove temporary logging

Eli Dowling 9c658126 8ca4e5d4

-4
-4
forks/nottui/lib/nottui_picos/nottui_picos.ml
··· 63 63 else ( 64 64 let rec stabilize () = 65 65 (* Log.debug (fun m -> m "stabilize"); *) 66 - let start_time = Unix.gettimeofday () in 67 66 let tree = Lwd.quick_sample root in 68 - let end_time = Unix.gettimeofday () in 69 - let duration = end_time -. start_time in 70 - Printf.eprintf "%f" duration; 71 67 Renderer.update renderer size tree; 72 68 It.start_tracking invalidation_tracker; 73 69 let image = Renderer.image renderer in