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

[Jesse van den Kieboom <jessevdk gnome org>]

On 02/28/2011 09:17 AM, Mike B. wrote:
> Hello,
>
> I've installed the Hide-UI plugin but when I run it (ctrl+T) gedit hangs and nothing happens (requiring killing&  restarting).
>
> Anyone knows what's wrong?.
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.
> found it at http://live.gnome.org/Gedit/Plugins/ , hide ui bullet.
>
> Thanks,
> Mike.
>
>
> _______________________________________________
> gedit-list mailing list
> gedit-list gnome org
> http://mail.gnome.org/mailman/listinfo/gedit-list