darcs patch: Make DynamicLog not require Integral WorkspaceId.

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

On Tuesday 07 August 2007 15:24:38 David Roundy wrote:
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
* 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.
Let's wait on this one. Many people use DynamicLog, and I'd rather not change the Show instance for WorkspaceId at this time. Cheers, Spencer Janssen
participants (2)
-
David Roundy
-
Spencer Janssen