[Top][All Lists]

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

Re: fancy-splash-screen customize group...

From: Richard M. Stallman
Subject: Re: fancy-splash-screen customize group...
Date: Thu, 08 Dec 2005 14:27:36 -0500

    > Unless I misunderstand your patch seems to take out the link to
    > "Custom File".  If so, why?
    I suggested that because its something only experts would be interested
    in, and they can easily find it by following the help link.

Indeed, the Help link takes one to a node whose menu includes Saving
Customizations.  I think we should change that menu item to

* Saving Customizations::    How to save customizations in a different file.

Whether to delete the Custom File button is a different question.
For now, it seems useful to leave it.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]