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 723495 - Dividers between partitions are no longer present
Dividers between partitions are no longer present
Status: RESOLVED FIXED
Product: gnome-disk-utility
Classification: Core
Component: Disks UI
unspecified
Other Linux
: Normal minor
: ---
Assigned To: gnome-disk-utility-maint
gnome-disk-utility-maint
Depends on:
Blocks:
 
 
Reported: 2014-02-02 23:57 UTC by Michael Catanzaro
Modified: 2014-04-19 18:59 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
screenshot (89.20 KB, image/png)
2014-02-02 23:57 UTC, Michael Catanzaro
Details

Description Michael Catanzaro 2014-02-02 23:57:33 UTC
Created attachment 267877 [details]
screenshot

I built gnome-disks from git a couple of days ago.  The dividers between partitions are no longer present, and the border along the side is also broken.  This is with very recent gtk+ and gnome-themes-standard.
Comment 1 Allan Day 2014-03-27 16:14:07 UTC
Noticed this myself on 3.11.91.
Comment 2 David Zeuthen (not reading bugmail) 2014-04-19 18:41:41 UTC
Confirmed. This is because we're using GTK_STYLE_CLASS_NOTEBOOK and since this changed in GTK+ 3.12 it thus broke this widget... sigh...
Comment 3 David Zeuthen (not reading bugmail) 2014-04-19 18:59:57 UTC
Fixed on master

 https://git.gnome.org/browse/gnome-disk-utility/commit/?id=42163cb46e091dcb40e49a09c3d815231939d1e1

Will backport to gnome-3-12 too.