On Sat, Feb 08, 2014 at 11:15:49AM -0500, Michael Stauber wrote: > Yeah, it's the best I could do in a hurry. The old JavaScript sort stuff > is just plain weird. It's properly fixed in the new GUI, so I don't want > to spend much more time on such a minor detail. Fair enough! -- Maurice de Laat