On Thursday, August 4, 2022 at 4:46:59 PM UTC+9 john.c...@gmail.com wrote: > Yes, please at least (1) turn off the italics for output, and (2) > don't put numbers in the input in a different colour. > > For such a change I think it is appropriate and would follow precedent > to put up at least two different possible themes and ask people on > sage-devel to vote.
Okay. See the new thread for polling. -- 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 sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/7a78d2e8-a0c5-4cda-8100-b7b79040a64cn%40googlegroups.com.
