GNOME Bugzilla – Bug 723495
Dividers between partitions are no longer present
Last modified: 2014-04-19 18:59:57 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.
Noticed this myself on 3.11.91.
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...
Fixed on master https://git.gnome.org/browse/gnome-disk-utility/commit/?id=42163cb46e091dcb40e49a09c3d815231939d1e1 Will backport to gnome-3-12 too.