GNOME Bugzilla – Bug 741798
Various fixes related to gtk3 port
Last modified: 2019-01-23 18:07:11 UTC
Created attachment 293117 [details] [review] [PATCH] Various fixes related to gtk3 port - Don't disable scrollbars, otherwise the window cannot be resized - Fix the alignment size of the intro text to make it visible - Set the default size of main window
Comment on attachment 293117 [details] [review] [PATCH] Various fixes related to gtk3 port Committed as https://gitlab.gnome.org/GNOME/buoh/commit/8d2af951bd6b31ed491a26606139cf0959ad084c
This problem has been fixed in the unstable development version. The fix will be available in the next major software release. You may need to upgrade your Linux distribution to obtain that newer version.