[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New start up splash screen annoyance...
From: |
Leo |
Subject: |
Re: New start up splash screen annoyance... |
Date: |
Tue, 11 Sep 2007 00:24:15 +0100 |
User-agent: |
Gnus/5.110007 Emacs/23.0.50 (20070901) Fedora 7 (gnu/linux) |
On 2007-09-11 00:19 +0100, Chong Yidong wrote:
> Leo <address@hidden> writes:
>
>> On 2007-09-10 23:07 +0100, Chong Yidong wrote:
>>> Chong Yidong <address@hidden> writes:
>>>
>>>>> A button to dismiss the splash screen would be fine in principle.
>>>>> I don't see how there is room for it. Do you think you see
>>>>> where it could go?
>>>>
>>>> I found a way of making this fit. I'll implement it in the next
>>>> couple of days.
>>>
>>> Checked into the trunk. This basically involves omitting the big
>>> graphical logo when a command line filename is specified. The splash
>>> screen now displays a "Dismiss" button with a checkbox for inhibiting
>>> future splash screens.
>>>
>>> Please to test.
>>
>> I can see the Dismiss button but not the checkbox.
>
> Are you running with emacs -q? In that case, the checkbox is not
> displayed, since there is no way to save the option.
Yes.
--
.: Leo :. [ sdl.web AT gmail.com ] .: [ GPG Key: 9283AA3F ] :.
=> "(require 'cl) considered harmful" considered harmful
=> http://dto.freeshell.org/blog/blog-2007-09-07-2323.html
- Re: New start up splash screen annoyance..., (continued)
- Re: New start up splash screen annoyance..., Sascha Wilde, 2007/09/13
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/13
- Re: New start up splash screen annoyance..., Richard Stallman, 2007/09/14
- Re: New start up splash screen annoyance..., Jason Rumney, 2007/09/14
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/14
- Re: New start up splash screen annoyance..., Richard Stallman, 2007/09/10
- Re: New start up splash screen annoyance..., Chong Yidong, 2007/09/10
- Re: New start up splash screen annoyance..., Chong Yidong, 2007/09/10
- Re: New start up splash screen annoyance..., Leo, 2007/09/10
- Re: New start up splash screen annoyance..., Chong Yidong, 2007/09/10
- Re: New start up splash screen annoyance...,
Leo <=
- Re: New start up splash screen annoyance..., Glenn Morris, 2007/09/11
- Re: New start up splash screen annoyance..., Glenn Morris, 2007/09/14
Re: New start up splash screen annoyance..., Jason Rumney, 2007/09/09
Re: New start up splash screen annoyance..., Juri Linkov, 2007/09/09
Re: New start up splash screen annoyance..., Juri Linkov, 2007/09/09