On Sat, 5 Oct 2019 14:39:25 -0700 (PDT), "'Alexander van der Vekens' via Metamath" <[email protected]> wrote: > Really great, it's a lot of fun seeing the universe of set.mm expanding...
I agree. It's even more obvious in this version, because when there were multiple events for a label it now shows all the events (contributed by, modified by, shortened by, etc.). > 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? Sadly, no. I can only control their horizontal positioning. --- 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/E1iGs8W-0005Rz-KW%40rmmprod07.runbox.
