GNOME Bugzilla – Bug 671329
Panel separator should reflect theme
Last modified: 2012-03-05 08:06:49 UTC
The panel separator should respect and reflect themeing choices. 1) The separator itself should be rendered as a GtkSeparator so the theme can render it like other separators. 2) The size should be controlled by the theme - border + padding + size of GtkSeparator. 3) The style class should reflect the current orientation so the separator can be themed differently depending on orientation.
Created attachment 208970 [details] [review] [Patch 1/5] Use GtkSeparator to draw PanelSeparator Attached is a patch series to implement this behavior.
Created attachment 208971 [details] [review] [Patch 2/5] Remove unnecessary local variable
Created attachment 208972 [details] [review] [Patch 3/5] Size the PanelSeparator by css styling
Created attachment 208973 [details] [review] [Patch 4/5] Add style class for orientation to PanelSeparator
Created attachment 208975 [details] [review] [Patch 5/5] Resize PanelSeparator on orientation change
Thanks, I've fixed the coding style and pushed everything.