
On Mon, Mar 29, 2010 at 7:46 PM, Brent Yorgey
On Mon, Mar 29, 2010 at 11:33:24AM -0400, Gwern Branwen wrote:
On Mon, Dec 28, 2009 at 8:50 PM, Brent Yorgey
wrote: Attached is a patch which adds a new exported function to TopicSpace, appropriate for providing as the ppSort field of a PP DynamicLog record, which sorts workspaces by history. The current facilities provided by TopicSpace for interfacing with DynamicLog are much too monolithic; this patch adds functionality that I want (and which others might find useful) but it really ought to be completely refactored to provide many smaller components that users can assemble however they like.
-Brent
If no one objects within 14 days, I will apply this.
I had forgotten about this; it turns out that I no longer use it. (I thought I wanted it but then after a few days using it decided I didn't like it after all.) Since it's something of a hack I would actually vote for not applying it, unless someone else speaks up who wants this functionality.
-Brent
Alright. I've marked it rejected on Darcswatch. -- gwern