On Thu, Jul 14, 2011 at 9:10 AM, Jasper St. Pierre <jstpie...@mecheye.net> wrote: > > > On Thu, Jul 14, 2011 at 4:00 AM, Artur Wroblewski <wrob...@pld-linux.org> [...] >> What's its other purpose? Why it does not hide whole >> panel (API (?), i.e. "panel._leftCorner" suggests that corners are part >> of the topbar). > > The top panel and the corners are an illusion -- they're actually three > separate actors. Main.panel.actor refers to the "main" one with all the > content.
Well, that's illusion is quite confusing. Is there a place for improvement here (shall I fill some bug reports) or it is broken (IMHO) by design? Best regards, Artur _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-shell-list
