GNOME Bugzilla – Bug 701981
the header bar is about 1 pixel thinner in normal mode when compared with selection mode
Last modified: 2014-07-27 06:56:42 UTC
this has happen in commit a8646ab4b6f256c15
Created attachment 246483 [details] old design (this is how it should look)
Created attachment 246485 [details] new design: thin header bar (missing frame border?)
Created attachment 246486 [details] new design: thick header bar (thicker in selection mode. added for comparison)
I have 3.12 and its the other way around with me: so its thinner in selection mode than in normal mode.
I can't reproduce this anymore for me. Seemed some theming problem: other apps had this issue too and its the same with them. Therefore I'm closing this bug with the others.