[Greasemonkey] richlistbox - Probably useful for script manager improvements

[Lenny Domnitser]

Anybody who is interested in improving the script manager UI [1],
Firefox 1.5 introduces a new XUL element called richlistbox [2] that
would probably be useful. (I, myself, am interested, but don't quite
have the time right now.)

[1]: http://www.mozdev.org/pipermail/greasemonkey/2005-September/thread.html#5623
[2]: http://developer.mozilla.org/en/docs/XUL:Richlistbox