Re: Workspaces

[Tuomo Valkonen]

On Tue, Jan 25, 2005 at 05:37:08PM +0100, ViCToRy wrote:
> On Tue, Jan 25, 2005 at 04:34:07PM +0000, Noah Slater wrote:
> > Can you rename a workspace?
> 
> I don't know how...

Mod1+F3
mod_query.query_renameworkspace(_)

-- 
Tuomo