On Mon, 2011-12-05 at 05:50 -0700, Gantry York wrote: > Does this extension allow me to move the workspace manager to a > different location on the screen and give each workspace a name? > ....like we could in GNOME2.
No clue. I haven't tried it. I don't see the point to static workspaces. > Installing an extension is not configuration. Sure it is. And people install extensions / applications on their tablets, droids, and ipads every day. This is a concept people are very familiar with. > "Install/write an > extension" seems to be a common mantra among the GNOME3 developers. Of course. It is the means provided to customize the behavior of GNOME shell. > On 12/05/2011 04:18 AM, Adam Tauno Williams wrote: > > On Sun, 2011-12-04 at 17:08 -0700, Gantry York wrote: > >> GNOME3-shell wouldn't be so bad if it maintained much of the > >> functionality that was in GNOME2. > >> Why can we only have dynamically allocated workspaces? > > There is already an extension for maintaining a number of static > > workstations. See > > <http://git.gnome.org/browse/gnome-tweak-tool/tree/gtweak/tweaks/tweak_windows.py> > >> Why not make it configurable so you can choose to have predefined > >> workspace of dynamically created workspaces. > > You can to that; now, today. _______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
