Re: [gedit-list] Hide-UI plugin broken?

["Mike B." <mb78aa yahoo com>]

Thanks.

--- On Mon, 28/2/11, Jesse van den Kieboom <jessevdk gnome org> wrote:

> From: Jesse van den Kieboom <jessevdk gnome org>
> Subject: Re: [gedit-list] Hide-UI plugin broken?
> To: gedit-list gnome org
> Date: Monday, 28 February, 2011, 10:59 PM
> On 02/28/2011 09:17 AM, Mike B.
> wrote:
> Yes it's broken somehow, I've noticed this too. The plugin
> is a bit 
> hacky because there is not a proper API for getting the UI
> elements that it is trying to hide (it walks the widget hierarchy). My intuition is that due to some change in the hierarchy the plugin is now broken.