GNOME Bugzilla – Bug 733850
Stop using GdHeaderButton
Last modified: 2014-07-29 13:13:50 UTC
These days we can accomplish the same using standard GTK+ API. So let's just use that.
Created attachment 281944 [details] [review] Drop GdHeaderSimpleButton
Created attachment 281945 [details] [review] Drop GdHeaderToggleButton
Created attachment 281948 [details] [review] Drop GdHeaderMenuButton
Created attachment 281949 [details] [review] build: We don't need header-bar from libgd anymore
This problem has been fixed in the development version. The fix will be available in the next major software release. Thank you for your bug report.