[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: New start up splash screen annoyance...
From: |
Richard Stallman |
Subject: |
Re: New start up splash screen annoyance... |
Date: |
Wed, 26 Sep 2007 17:56:40 -0400 |
. When used in the echo area, it should minimize the number of newlines,
adding them only when they really add clarity. No assumptions should be made
about the width or height of a user's echo area. In particular, no filling -
let the window resize itself or wrap the text if it is too long.
. When used as a tooltip, it should use newlines as appropriate to make the
text as clear as possible.
This suggests that we put in newlines for the tooltip case,
and repace them with spaces for display in the echo area.
- RE: New start up splash screen annoyance..., (continued)
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/25
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/25
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/25
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/25
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/25
- Re: New start up splash screen annoyance..., Kenichi Handa, 2007/09/25
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/25
- Re: New start up splash screen annoyance..., Stefan Monnier, 2007/09/26
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/26
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/26
- Re: New start up splash screen annoyance...,
Richard Stallman <=
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/26
- Re: New start up splash screen annoyance..., Dan Nicolaescu, 2007/09/25
- Re: New start up splash screen annoyance..., David Kastrup, 2007/09/25
- Re: New start up splash screen annoyance..., Juri Linkov, 2007/09/25
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/23
- Re: New start up splash screen annoyance..., Richard Stallman, 2007/09/24
- Re: New start up splash screen annoyance..., David Reitter, 2007/09/23
- Re: New start up splash screen annoyance..., Richard Stallman, 2007/09/24
- Re: New start up splash screen annoyance..., Davis Herring, 2007/09/24
- RE: New start up splash screen annoyance..., Drew Adams, 2007/09/24