|
| From: | Richard M. Stallman |
| Subject: | Re: fancy-splash-screen customize group... |
| Date: | Fri, 09 Dec 2005 10:02:47 -0500 |
> Whether to delete the Custom File button is a different question.
> For now, it seems useful to leave it.
I don't see why.
1. It is preferable to change less.
2. Someone explained the specific motivation for it.
I have made the decision.
| [Prev in Thread] | Current Thread | [Next in Thread] |