I've got four Gnome-based VMs and the splash screen isn't building on any of them. It starts to but doesn't finish. On the XFCE VM, it displays as on Windows.
On Monday, January 23, 2023 at 8:36:45 PM UTC-5 gates...@gmail.com wrote: > FWIW, the current devel commit does *not* display the splash screen on my > Arch Linux install using the Cinnamon desktop environment (at one point a > derivative of Gnome 2, now well and truly its own thing). Anecdotally, I > do remember the splash screen displaying on this Linux installation > historically. Just another couple of data points that I hope might help. > > The splash screen does appear (and looks quite lovely now, in vector form > and without the watermark!) on my Windows 10 install. > > Jake > > On Mon, Jan 23, 2023 at 7:41 PM Thomas Passin <tbp1...@gmail.com> wrote: > >> 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+...@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 >> >> <https://groups.google.com/d/msgid/leo-editor/05cc16e6-f896-41d3-a0ac-6333e8ec5524n%40googlegroups.com?utm_medium=email&utm_source=footer> >> . >> > -- 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/b78341c3-6dd1-47b9-ae5e-1a2f410c724fn%40googlegroups.com.
