[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New start up splash screen annoyance...
From: |
Chong Yidong |
Subject: |
Re: New start up splash screen annoyance... |
Date: |
Mon, 10 Sep 2007 19:19:21 -0400 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.1.50 (gnu/linux) |
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.
- Re: New start up splash screen annoyance..., (continued)
- Re: New start up splash screen annoyance..., Davis Herring, 2007/09/17
- 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 <=
- Re: New start up splash screen annoyance..., Leo, 2007/09/10
- 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