trunk: changeset 728
trunk: changeset 728

Warping on workspace switch had been broken by addition of
multiplexes.

darcs-hash:20030609222420-e481e-68c08813e8038bbc6fe1a094ef61b08815a3b04e.gz

raboof/notion,p5n/notion,anoduck/notion,dkogan/notion,anoduck/notion,knixeur/notion,neg-serg/notion,dkogan/notion.xfttest,raboof/notion,dkogan/notion.xfttest,anoduck/notion,p5n/notion,anoduck/notion,knixeur/notion,knixeur/notion,dkogan/notion,dkogan/notion,knixeur/notion,p5n/notion,raboof/notion,p5n/notion,dkogan/notion,dkogan/notion.xfttest,raboof/notion,knixeur/notion,p5n/notion,neg-serg/notion,anoduck/notion,dkogan/notion,dkogan/notion.xfttest,neg-serg/notion,neg-serg/notion