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 738481 - Move the ruler's timecodes down by a few pixels to fit with GTK/Adwaita 3.14+'s slim paned handles
Move the ruler's timecodes down by a few pixels to fit with GTK/Adwaita 3.14+...
Status: RESOLVED FIXED
Product: pitivi
Classification: Other
Component: Timeline
Git
Other Linux
: Normal trivial
: 0.95
Assigned To: Alex Băluț
Pitivi maintainers
Depends on:
Blocks:
 
 
Reported: 2014-10-13 20:36 UTC by Jean-François Fortin Tam
Modified: 2015-02-03 04:32 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
screenshot (13.09 KB, image/png)
2014-10-13 20:36 UTC, Jean-François Fortin Tam
Details

Description Jean-François Fortin Tam 2014-10-13 20:36:04 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).
Comment 1 Jean-François Fortin Tam 2015-01-28 15:26:39 UTC
Odd, I don't see this fixed in master, the timecode labels are still flush against the black line above...
Comment 2 Jean-François Fortin Tam 2015-02-03 04:28:22 UTC
Was due to the wrong env, fixed by commit ea24daf7e6e
Comment 3 Jean-François Fortin Tam 2015-02-03 04:32:03 UTC
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