[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How do I set border color in 21.3 (Win32)
From: |
Eli Zaretskii |
Subject: |
Re: How do I set border color in 21.3 (Win32) |
Date: |
Tue, 31 May 2005 23:55:47 +0300 |
> From: Stefan Monnier <monnier@iro.umontreal.ca>
> Date: Tue, 31 May 2005 08:49:07 -0400
>
> It seems people rarely come up with "fringe" on their own, instead they
> think of "border" or "margin".
Thanks.
I thought about these myself, but the problem is, we already have
other features that have these two words in their names. I'll see if
I can come up with something nonetheless.
- How do I set border color in 21.3 (Win32), Bob Babcock, 2005/05/30
- splash screen (was Re: How do I set border color in 21.3 (Win32)), Joe Corneli, 2005/05/31
- Message not available
- Re: How do I set border color in 21.3 (Win32), Stefan Monnier, 2005/05/31
- Message not available
- Re: How do I set border color in 21.3 (Win32), rgb, 2005/05/31
- Re: How do I set border color in 21.3 (Win32), Bob Babcock, 2005/05/31
- Re: How do I set border color in 21.3 (Win32), Eli Zaretskii, 2005/05/31