On September 29, 2019 8:26:06 AM EDT, Benoit <[email protected]> wrote: >Thanks David, nice video! > >Is it possible to have a less lossy compression (I watched the 1080p >version on youtube and it's very pixelized)?
I will try. I will have to investigate ffmpeg options, there are a huge number of options that I need to track down and try. >Is it possible (and fast enough to implement) to put some color on the >tree? If I understand correctly, the leaves are the $a- and >$p-statements >and I see at the beginning that some are colored (what color code?), >and >the internal nodes are the sections of set.mm? Would it be possible, >without too much work, to use the colors used in the MPE (the >rainbow-like >hue), both for the leaves and for the internal nodes and branches (the >color of a section would be that of its first statement)? In the video, the colored ones are ones that have been modified. I have already made a local tweak so that $a will look different. I think I will set the default colors so that they are generated from a hash of the top level header. I'll have to tweak that, since otherwise some of the colors will be close to Black and thus hard to see. That should produce much more differentiated colors. Gource has a number of options, but not quite enough to make some things more distinct. An upcoming version we'll add some options that should make it much easier to handle large systems like this, but it has not been released yet, and I don't feel like trying to fight with an unreleased version. --- 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/5934FEFD-DFEC-421E-BCD6-45B0E1D7AA0D%40dwheeler.com.
