Hi! > Instead of complaining, I'd like somebody who really feels the need for > a dock-like feature to actually step in and provide an extension for it. > The Shell is written in Java Script, you could add a way to activate > Alt+Tab with the mouse in a few lines.
I was willing to do that but was told (on IRC, see this thread) that it will NEVER be included officially in gnome-shell and as such, yeah, I have better ways to spend my time and other bugs to fix. I am also pretty sure that the implementation is rather trivial :) Just my 2 cents, Johannes _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
