Re: new help browser



> Yes and no.  Providing useful "feedback" is enough.  If the wanted doc
> isn't installed the help system should offer (at least):
> 
>     +--------------------------------------------+
>     |                                            |
>     | You asked for a document which isn't       |
>     | available on your local system.            |
>     |                                            |
>     | [x] Read the doc your local GNOME help     |
>     |     server.                                |
>     | [ ] Read the doc online at www.gnome.org.  |
>     | [ ] Fetch the sources to install them      |
>     |     locally.                               |
>     |                                            |
>     +--------------------------------------------+
>     |    < OK >                   < Cancel >     |
>     +--------------------------------------------+
Cute ASCII art.  Not a bad idea either.  But is this going to require root to install a doc?  I think it's a bit overboard to need root access to install a 5kb text file or whatever.  Is there another way to do that?  I can see a ~/.gnome/ddocs/ method, but that will create multiple copies of the file for > 1 user systems.
Kevin
-- 
"Think realistically, not optomistically" - Myself




[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]