[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Customize fringe
From: |
Eli Zaretskii |
Subject: |
Re: Customize fringe |
Date: |
Thu, 09 May 2002 21:07:31 +0300 |
> From: Miles Bader <address@hidden>
> Date: 09 May 2002 21:28:30 +0900
>
> [Incidentally, why did your patch preload `fringe'? I shouldn't think
> it would be necessary.]
And if it _is_ necessary, please make that conditional on
(display-graphic-p). Character terminals shouldn't need to load that
package at all.
- Re: Customize fringe, (continued)
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe, Eli Zaretskii, 2002/05/10
- Re: Customize fringe, Robert J. Chassell, 2002/05/10
- Re: Customize fringe, Miles Bader, 2002/05/12
- Re: Customize fringe, Richard Stallman, 2002/05/11
- Re: Customize fringe, Simon Josefsson, 2002/05/11
Re: Customize fringe,
Eli Zaretskii <=
- Re: Customize fringe, Stefan Monnier, 2002/05/09
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Stefan Monnier, 2002/05/09
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Simon Josefsson, 2002/05/09
- Re: Customize fringe, Pavel JanÃk, 2002/05/11
- Re: Customize fringe, Simon Josefsson, 2002/05/11
- Re: Customize fringe, Eli Zaretskii, 2002/05/11
- Re: Customize fringe, Simon Josefsson, 2002/05/11
Re: Customize fringe, Kim F. Storm, 2002/05/11