Amit Saha (droidery(a)gmail.com) said:
> Sounds like a good start, yes.
Please find the patch attached. Does this look good?
I'd leave the sorting changes out for now. Aside from that - do we
need to include *both* maxima GUIs in mandatory? Why not just pick
the best one?
Bill