[plt-scheme] how to reset help-desk's search cache?

There is, but only if you are using an SVN-built installation. Go to
the manuals page (from the first page of Help Desk (click the "Home"
button on the top of Help Desk to get back there)) and follow the
"flush index and keywords cache".

planet, after installing something, should be (either directly or
indirectly) triggering this refresh. I'm not sure how to accomplish
that tho, since that would mean that a program running inside DrScheme
could tickle DrScheme's state. One of the many many things that planet
tickles! sigh.

Robby

At Sun, 5 Mar 2006 17:34:25 -0500, Richard Cobbe wrote:
> Is there any way to reset help-desk's search cache (or whatever it's
> called)?
> 
> I often find myself trying to look up details on a particular planet
> package in help-desk, discovering I don't have it installed, installing
> it, and trying again.  Unfortunately, help-desk can't see the new
> documentation until I restart it.
> 
> Is there a way to get help-desk to see the new doc.txt file without
> restarting?
> 
> Richard
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme