Grazie, Gabriele. You seem correct, after looking at the code, too. Chris? I planned some workspace refactoring, but I don't think I can do it in near future. I'll explain the idea in the wiki. (But it may be better to merge mmc before that.)
Teika (Teika kazura) --- -- Sawfish ML
