[plt-scheme] PLT v 4.0 discussion - planet browser

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Jun 5 08:27:43 EDT 2008

At Wed, 4 Jun 2008 18:21:51 -0700, "Mark Engelberg" wrote:
> Here's what I imagine:
> When you want to add a planet package, you select "Add planet package"
> from a menu, or use a keyboard shortcut, to pop-up the planet browser.
>  The planet browser shows you a list of all locally-installed planet
> packages.  The reality is that most people use the same packages
> repeatedly, so listing the locally-installed packages is a huge
> timesaver.  Click on the package, and the appropriate require
> statement is added to the top of your file.  Under the list is "add
> other package", which lets you browse and select from the other
> packages.

That sounds like an interesting idea.

> Also, it would be great if locally installed packages become part of
> the help desk documentation.  Going back to the planet to look up
> something in the documentation is tedious.

Yes: if you install a Planet package that includes Scribble-based
documentation, it becomes part of your local documentation (just like
the libraries included in the distribution).


Posted on the users mailing list.