Really great, it's a lot of fun seeing the universe of set.mm expanding... About the captions: as the video-bar (start/stop, loudspeaker symbol, etc.) is also at the bottom, the text is often hidden behind this bar:
Could the captions be located at the top-left, maybe? But this is not an important issue - I think the video can be published anyway. Alexander On Saturday, October 5, 2019 at 10:10:22 PM UTC+2, David A. Wheeler wrote: > > Another Gource visualization now available (but not yet publicly listed): > > https://youtu.be/MWRbUu0sS_8 > > I moved the captions to the bottom-left and improved the video > description, per comments from Benoit. > > Any last comments? Shall we "ship" it to the public? > > --- 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/9b1cd7b1-3782-41a9-8c7c-3791a4a035af%40googlegroups.com.
