After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 727064 - Use headerbar in the preference dialog
Use headerbar in the preference dialog
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
3.12.x
Other Linux
: Normal normal
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2014-03-26 01:17 UTC by Yosef Or Boczko
Modified: 2014-05-01 13:44 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Use headerbar in the preferences dialog (3.01 KB, patch)
2014-03-26 01:18 UTC, Yosef Or Boczko 		needs-work Details | Review

Description Yosef Or Boczko 2014-03-26 01:17:52 UTC 
See the patch.
Comment 1 Yosef Or Boczko 2014-03-26 01:18:55 UTC 
Created attachment 272937 [details] [review]
Use headerbar in the preferences dialog

Bump requirements for GTK+ for the use-header-bar
property.
Comment 2 Aleksander Morgado 2014-04-30 10:39:10 UTC 
Review of attachment 272937 [details] [review]:

The headerbar in the Preferences dialog is now missing the close button, though. Could you look into how to add it?
Comment 3 Yosef Or Boczko 2014-05-01 13:44:06 UTC 
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.