Now I'm bummed. The splash screen displays properly on Manjaro, a Linux distro using XFCE. But on two Gnome systems, Mint and Debian, it acts the same as before I added the repaint() call. This will take some more digging.
On Monday, January 23, 2023 at 6:25:17 PM UTC-5 Edward K. Ream wrote: > On Monday, January 23, 2023 at 5:04:34 PM UTC-6 tbp1...@gmail.com wrote: > It looks like the splash screen may never have been visible on Linux(!). > > My recent PR removed the call to repaint, so the splash screen has only > recently been broken on Linux. > > Edward > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/05cc16e6-f896-41d3-a0ac-6333e8ec5524n%40googlegroups.com.