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