Arguably, static gravities are only useful for applications such as image viewers where draw operations can be quite expensive and images displayed on them are rarely updated (or, even require no update).
Meanwhile, any text editor usually draws its contents every time it is being resized because it needs to reflow the text and adjust the size and position of widgets, especially scrollbar thumbs, in the course of that. Hence, in general, there's no good reason to set static gravities for text editors. In addition, recent versions of GTK+ 2 no longer use gdk_window_set_static_gravities() for themselves, and as of 3.16, GTK+ 3 has deprecated and reduced it to a stub only returning a constant boolean value. With those reasons and the attached patch, I propose to get rid of static gravity attribute for GTK+ GUIs. Best regards Kazunobu Kuriyama -- -- 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.
remove-gtk-static-gravities.patch
Description: Binary data
