[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: HTML-Info design
From: |
Eli Zaretskii |
Subject: |
Re: HTML-Info design |
Date: |
Mon, 29 Dec 2014 05:32:23 +0200 |
> From: Lars Ingebrigtsen <address@hidden>
> Cc: address@hidden, address@hidden, Richard Stallman <address@hidden>, Nic
> Ferrier <address@hidden>, address@hidden
> Date: Mon, 29 Dec 2014 00:04:38 +0100
>
> (Yes, Emacs can display proportional fonts and fonts of different sizes,
> but until you can fold (etc) proportional text (and text with a mixture
> of font sizes) in a pretty manner, that's more of a toy than anything
> else.)
What's non-pretty with how we do this now? What features are missing?
- Re: HTML-Info design, (continued)
- Re: HTML-Info design, Ivan Shmakov, 2014/12/28
- Re: HTML-Info design, Stefan Monnier, 2014/12/28
- Re: HTML-Info design, David Kastrup, 2014/12/28
- Saving default font? (was: HTML-Info design), David Kastrup, 2014/12/28
- Re: Saving default font?, Lars Ingebrigtsen, 2014/12/28
- Re: HTML-Info design, Lars Ingebrigtsen, 2014/12/28
- Re: HTML-Info design, Lars Ingebrigtsen, 2014/12/28
- Re: HTML-Info design, Paul Eggert, 2014/12/28
- Re: HTML-Info design, Nic Ferrier, 2014/12/28
- Re: HTML-Info design, Lars Ingebrigtsen, 2014/12/29
- Re: HTML-Info design,
Eli Zaretskii <=
- Re: HTML-Info design, Steinar Bang, 2014/12/29
- Re: HTML-Info design, Lars Ingebrigtsen, 2014/12/29
- Re: HTML-Info design, Eli Zaretskii, 2014/12/29
- bug#19462: shr: use wrap-prefix when possible, instead of filling the text, Ivan Shmakov, 2014/12/29
- Re: bug#19462: shr: use wrap-prefix when possible, instead of filling the text, Ivan Shmakov, 2014/12/29
- word-wrap and wrapping before window-width (was: bug#19462: shr: use wrap-prefix when possible, instead of filling the text), Stefan Monnier, 2014/12/29
- Re: word-wrap and wrapping before window-width, Ivan Shmakov, 2014/12/29
- Re: word-wrap and wrapping before window-width, Eli Zaretskii, 2014/12/29
- Re: word-wrap and wrapping before window-width, Stefan Monnier, 2014/12/29
- Re: word-wrap and wrapping before window-width, Eli Zaretskii, 2014/12/30