Re: Gnome pager [WAS: Re: reviving sawfish development.]

["Michael V. DePalatis" <mvd gatech edu>]

On Thu, Jun 28, 2007 at 11:00:56PM +1000, Allan Duncan wrote:
> I have grepped the gnome sources (2.18) of all the likely components, and 
> the
> word "pager" is not in any of them.  I do run the panel, but I gather that
> gnome has become less and less flexible.

They call it the "workspace switcher." I'm not sure if they refer to
it that way in any of the source, but that is what it is called if you
try to add it to the panel.

-- 
Michael V. DePalatis
Georgia Institute of Technology
School of Physics
837 State Street
Atlanta, GA 30332-0430

em vee dee at gatech dot edu
http://mike.depalatis.net