On Tue, Dec 1, 2020 at 7:15 PM Frédéric Chapoton <[email protected]> wrote: > > Hello Erik, > So, one year later, can you please put a branch somewhere on trac ? > Frédéric
It took some searching but I finally found my progress bars work, buried in my git stash. I'll try to resurrect it. > Le lundi 2 décembre 2019 à 12:50:44 UTC+1, [email protected] a écrit : >> >> Thanks, I forgot about this. IIRC it was still a little buggy, but I >> can see if I can resurrect what I did have and make a ticket for it. >> If I can't get time to polish it up maybe someone else can. >> >> On Fri, Nov 29, 2019 at 3:51 PM Frédéric Chapoton <[email protected]> wrote: >> > >> > Hello Erik, >> > >> > Would you make a ticket and upload a branch on trac, please ? >> > >> > Frederic >> > >> > Le jeudi 23 mai 2019 18:41:04 UTC+2, E. Madison Bray a écrit : >> >> >> >> Something I've wanted for a long time in the Sage doctest runner is >> >> progress bars, so I hacked up a prototype (see screenshot). It works >> >> even with parallel docbuilds. >> >> >> >> I think there are still some bugs and other kinks to work out so it >> >> will take a little more time to get this really polished up, but what >> >> do you think? Would anyone else like to have this? Is it worth >> >> spending any more time on? >> > >> > -- >> > You received this message because you are subscribed to the Google Groups >> > "sage-devel" 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/sage-devel/2ac5a8d1-29c2-4ed0-bd06-b6a06b590b83%40googlegroups.com. > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" 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/sage-devel/51945ce3-26b9-4e4a-b65c-a6237c9f240an%40googlegroups.com. -- You received this message because you are subscribed to the Google Groups "sage-devel" 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/sage-devel/CAOTD34Y9nwYf7cKwWhjRzhQBaQvTsaBGe1u44DDrb-tX2NCUSQ%40mail.gmail.com.
