you know that gnome shell is not yet finished/released fully dont you. so these kind of things will get fixed with time.(for sure before the final product come out)
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
