trunk: changeset 1612
trunk: changeset 1612

Possibly fixed scratchpad focusing (again).

darcs-hash:20040708001757-e481e-33148a0fcf428b23227ab2f22bbf07a3b0e9b524.gz

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