> On September 29, 2019 8:26:06 AM EDT, Benoit <[email protected]> wrote: > >Is it possible to have a less lossy compression (I watched the 1080p > >version on youtube and it's very pixelized)? ... > >Is it possible (and fast enough to implement) to put some color on the > >tree?
Done and done. I've posted an updated Gource video here: https://youtu.be/HWjpq1R828U I think this one looks nicer, in particular, it's much less pixellated. I made a few other visual tweaks as well to improve its looks. --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1iEf5m-00048z-Py%40rmmprod07.runbox.
