Re: new help browser
- From: battery841 mypad com
- To: gnome-doc-list gnome org
- Subject: Re: new help browser
- Date: Thu, 1 Jun 2000 16:08:29 -0500
> 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]