Hi all, This one's a bit more iffy. I experimented (a while back, but the code's still here locally) with making "type WorkspaceId String", and this is one of the (few) changes that this required. I can send the code sometime, if anyone's interested. My thought is that I'd like to make workspaces be a list of workspace IDs rather than a number. I don't like the hard-coding of workspace IDs to be integers from zero up. Some day I expect I'll get around to implementing dynamic workspace layouts, so you can add and remove workspaces at runtime. David Wed Aug 1 07:46:13 PDT 2007 David Roundy <droundy@darcs.net> * Make DynamicLog not require Integral WorkspaceId. Note that to acheive previous display, a nice Show instance for WorkspaceId would need to be defined, rather than using a derived Show instance.