Moin! I just installed the 'autohide topbar extension'. After appreciating that it restores the original height of windows after hiding the panel, I wondered why the show/hide animation is so laggy. That can't really come from dynamically resizing windows, but what else is it? Technical (i.e. shell-internal) reasons or just suboptimal programming? Or is it just me(R)?
Marcel _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
