I might be tripping, but it seems that sometimes there is a cursor-dependent time displayed in the upper right corner of my session, and sometimes it is not present. Is this due to something I'm doing, or is there a bug? I can send a screen image if helpful.
Thanks,
-Ken
Cursor time not displayed
Moderator: Martin Hairer
Cursor time not displayed
Ken Field • ken@kenfield.org • kenfield.org