Good catch, really. One thing I want to make sure since I know little about Wayland environments.
Which is correctt? With this patch, (1) gtk3vim can be built and works only for genuine X11 environments. (2) gtk3vim can be built and works even for Wayland environments, but through some bridge API which Wayland offers for applications written in the X11 API. Or other? Best regards, Kazunobu Kuriyama 2016-04-05 10:38 GMT+09:00 James McCoy <[email protected]>: > When built with GTK3, gvim crashes in a Wayland environment. This is > due to lots of X-specific code in the GTK UI. > > I'm forwarding the attached patch, from Simon McVittie, which tells GDK > that only the X11 backend is applicable. > > From a quick glance at the GTK/GDK APIs, I didn't find either > backend-agnostic functions (to migrate to) or Wayland-specific functions > (to call in Wayland environments) for the APIs that Vim is using. Maybe > I'm missing something, though, since I'm not particularly familiar with > those toolkits. > > At least the patch avoids the crash, giving someone more time to look > into a longer term solution. > > Cheers, > -- > James > GPG Key: 4096R/331BA3DB 2011-12-05 James McCoy <[email protected]> > > -- > -- > 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 [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- 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 [email protected]. For more options, visit https://groups.google.com/d/optout.
