Re: Please provide more configurability for workspace

[Adam Tauno Williams <awilliam whitemice org>]

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.