Re: [gnome-flashback] Theme problem with panel handles?

[Alberts Muktupāvels <alberts muktupavels gmail com>]

Hi,

I would say it is not a bug as gtk_render_handle is used to draw handles. See - https://developer.gnome.org/gtk3/3.7/GtkStyleContext.html#gtk-render-handle. It is made to work like that.

Your are lucky if it can be styled. I think not, but I am not sure about it. Otherwise it requires some work to make it theme-able. Chances that rewrite is going to happen is almost near to zero.

But It should not be to hard to do:

1) Add GtkWidget in place where handles should be.

2) Add class for widget. For example - gnome-panel-handle.

3) Update themes with handle styling. For example:

PanelToplevel .gnome-panel-handle {

    background-color: #000000;

}

4) Probably default styling should be added in gnome-panel itself so it works without updates themes too.

This is what I would probably do to fix this. I might try to prepare patch for ubuntu, but I won't promise it.

On Thu, Jul 10, 2014 at 12:26 PM, Thomas Pönitz <tasptz gmail com> wrote:

Hello,

I'm using Ubuntu 14.04 and the ambiance theme.

There is a display problem with the handles of a non-expanded gnome panel.
See my screenshot:
http://s13.postimg.org/95nazj347/handles.png

Is this a bug in gnome panel or in the theme?

Thanks,

Thomas

_______________________________________________
gnome-flashback-list mailing list
gnome-flashback-list gnome org
https://mail.gnome.org/mailman/listinfo/gnome-flashback-list

--

Alberts Muktupāvels