On Monday, December 9, 2019 at 2:58:29 AM UTC+13, Juan Lanus wrote: ... Bit of a necro, out of the blue a year later...
Anyway, I remember these nuisances, but they've been gone for me for some time, GTK2 or GTK3. I'm on Ubuntu 19.10. Maybe it's been fixed in GTK (if so I'd be surprised), or the debian or Ubuntu packagers patched it. Regards, John Little -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to vim_dev+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/vim_dev/cb0c6819-8f1c-4c03-8aec-4d1f9d6ea294%40googlegroups.com.
