<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Sep 29, 2016 at 8:07 AM, Joe Armstrong <span dir="ltr"><<a href="mailto:erlang@gmail.com" target="_blank">erlang@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Wed, Sep 28, 2016 at 10:57 PM, Vlad Dumitrescu <<a href="mailto:vladdu55@gmail.com">vladdu55@gmail.com</a>> wrote:<br>
> Okay, I gave it a shot. Made some small changes to the XSL and to the CSS.<br>
> Nothing too drastic, on purpose.<br>
><br>
> <a href="http://download.erlide.org/otp/lists.html" rel="noreferrer" target="_blank">http://download.erlide.org/<wbr>otp/lists.html</a><br>
<br>
</span>Nice - I'd like a few change (which I'll try to do myself)<br>
<br>
- change the ordering (it's alphabetic) - I'd like a 'best of' (or<br>
essential functions first) - the minimal set you should know about<br>
- fold away the details - I'd like to see only the name and one-line header<br>
possible the spec and examples should appear in a hover box<br>
(and yes I don't mind if it uses JS)<br><br>
The goal of these changes is to pack more relevant information into my<br>
limited screen space<span class="HOEnZb"><font color="#888888"><br></font></span></blockquote><div> </div><div>Yes, this is just a quick thing I did last night. It can be improved in many ways.</div><div><br></div><div>The ordering is part of the content, not the presentation, and it's certainly a big job.</div><div>Besides, some users might like the alphabetical order... so I think that the best way would </div><div>be to mark up the source, adding different indices and groupings, and linking to semantically </div><div>related functions. Then the user could choose how the data should be presented, depending </div><div>on the current needs. </div><div><br></div><div>The folding is relatively easy to achieve. My example has no JS on purpose.</div><div><br></div><div>There are multiple ways to solve problems. As with anything else, it's a matter of how much time</div><div>one can invest in implementing them.</div><div><br></div><div>regards,</div><div>Vlad</div><div><br></div></div></div></div>