On Friday, 21 December 2012 at 17:23:41 UTC, H. S. Teoh wrote:
+1. The blob of links generated by JS at the top of the current pages is (1) ugly, and (2) useless. Grouping symbols by category is by far more
useful. We need to keep that.

Yes, a category list is far more useful. The best the blob serves is as an appendix for the module, but it should be at the bottom of the page not at the top, and perhaps make it hidden requiring a click to view it.

--rt

Reply via email to