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 733270 - header bar is thinner in selection mode than in normal mode
header bar is thinner in selection mode than in normal mode
Status: RESOLVED OBSOLETE
Product: gnome-music
Classification: Applications
Component: general
3.12.x
Other Linux
: Normal normal
: 3.14
Assigned To: gnome-music-maint
gnome-music-maint
Depends on:
Blocks: 733267
 
 
Reported: 2014-07-16 16:48 UTC by Lasse Schuirmann
Modified: 2014-07-18 19:13 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Lasse Schuirmann 2014-07-16 16:48:03 UTC 
this is the same for music as https://bugzilla.gnome.org/show_bug.cgi?id=701981 for clocks. Maybe it makes sense to look at the patches other apps use to fix this. (Seems to be epidemic.)

Other way round it would be interesting what's the reason for this issue in the first place.
Comment 1 Lasse Schuirmann 2014-07-17 17:11:47 UTC 
Sorry, actually it is the other way round, sorry, got a little confused with the music bug.
Comment 2 Lasse Schuirmann 2014-07-18 19:13:44 UTC 
This doesn't seem to be valid with updated jhbuild. Sorry for reporting this, I had a few jhbuild issues so I did only test with 3.12.