GNOME Bugzilla – Bug 738481
Move the ruler's timecodes down by a few pixels to fit with GTK/Adwaita 3.14+'s slim paned handles
Last modified: 2015-02-03 04:32:03 UTC
Created attachment 288420 [details] screenshot As this screenshot demonstrates, the dividers between various parts of the UI are now slimmer (a thin black line). This is all fine and dandy, but now our time labels look "too close" to that line at the top of the ruler. My suggestion would be to lower just the labels, by 3 pixels, to give them some "breathing space" above. We could also shorten all the mid & minor "ticks" on the rulers by the same amount (the "major" ticks going all the way up to the divider looks fine to me).
Odd, I don't see this fixed in master, the timecode labels are still flush against the black line above...
Was due to the wrong env, fixed by commit ea24daf7e6e
And the actual fix is of course commit bf2c852eb37f0e345934f Author: Alexandru Băluț <alexandru.balut@gmail.com> Date: Wed Nov 19 17:39:35 2014 +0100 ruler: Add top margin