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 772710 - Make the title in the headerbar bold
Make the title in the headerbar bold
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2016-10-10 15:50 UTC by Yosef Or Boczko
Modified: 2016-10-10 17:40 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Updated Hebrew translation (14.76 KB, patch)
2016-10-10 17:34 UTC, sébastien lafargue 		none Details | Review
headerbar: set titles to bold (1.56 KB, patch)
2016-10-10 17:36 UTC, sébastien lafargue 		committed Details | Review

Description Yosef Or Boczko 2016-10-10 15:50:31 UTC 
In the Choose Project page and the New Project page there is a title
in the center of the header bar. This label should be bold, same to
the rest of GNOME.
Comment 1 sébastien lafargue 2016-10-10 17:34:42 UTC 
Created attachment 337342 [details] [review]
Updated Hebrew translation
Comment 2 sébastien lafargue 2016-10-10 17:36:06 UTC 
sorry, wrong attachment
Comment 3 sébastien lafargue 2016-10-10 17:36:59 UTC 
Created attachment 337343 [details] [review]
headerbar: set titles to bold
Comment 4 sébastien lafargue 2016-10-10 17:40:11 UTC 
Comment on attachment 337343 [details] [review]
headerbar: set titles to bold

Attachment 337343 [details] pushed as edfa4d8 - headerbar: set titles to bold
Comment 5 sébastien lafargue 2016-10-10 17:40:51 UTC 
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.