<br><br><div class="gmail_quote">On Thu, Oct 29, 2009 at 18:39, Jon Rafkind <span dir="ltr">&lt;<a href="mailto:rafkind@cs.utah.edu">rafkind@cs.utah.edu</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div><div></div><div class="h5">Laurent wrote:<br>
<blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hi all,<br>
<br>
PLaneT really is a great thing, but I find browsing the package list a bit<br>
difficult.<br>
If your looking for something special, it is not a trivial matter to find it<br>
(at least there should be a table of contents at the top of the page).<br>
It just looks like a repository, not a front-end to easily find what you<br>
need.<br>
I know you guys don&#39;t have much time, and that may not be a priority, but<br>
providing tools to the world is great only if the world knows they exist, or<br>
can find them easily.<br>
<br>
If I can formulate some wishes for the PLaneT service, I&#39;d like:<br>
- more keywords for packages, even user-defined keywords?<br>
- # downloads in the main list<br>
- recently updated packages<br>
- new packages (like the RSS filter, but in the main list page)<br>
- sortable items (by author, by #download, by keywords, by date, etc.)<br>
- search box (filters)<br>
<br>
  <br>
</blockquote>
<br></div></div>
I hoped to eventually support some of these things with my planet-manager (on planet). Using the GUI api was a little painful so I thought I would wait for the GUI rewrite before I did any more work on it. Of course if someone beats me to it thats fine too.<br>

</blockquote><div><br>Nice. I look forward to it.<br><br>Also, I&#39;ve recently discovered the unavoidable MrEd Designer through a link in this mailing list, and I suspect there are many other usefulities like this in the wild.<br>

Therefore I add a wish to my list:<br>- a section with links toward unlisted PLT tools websites.<br><br><br><br><br> </div></div><br>