[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: word-wrap and wrapping before window-width
From: |
Eli Zaretskii |
Subject: |
Re: word-wrap and wrapping before window-width |
Date: |
Tue, 30 Dec 2014 20:50:41 +0200 |
> From: Stefan Monnier <address@hidden>
> Cc: Ivan Shmakov <address@hidden>, address@hidden
> Date: Mon, 29 Dec 2014 22:12:03 -0500
>
> If the word-wrapped lines are wrapped at a text-specified column rather
> than "at the end of the window", then it would make a lot of sense, to
> just keep the lines "wrapped as before" and just visually shift them
> according to the horizontal scrolling.
>
> It might also make sense to consider that a "wrap-column" which is set past
> the window-width would cause those lines to be displayed as "truncated
> and wrapped". E.g. display it as:
>
> +---------+
> here is t|he example|
> wrapped t|ext |
> ^ |
> window border |
> |
> ^
> wrap-column
>
> IOW, the wrapping would be window (and hscrolling) independent.
>
> And a "truncated line" could then "simply" be a line with an "infinite"
> wrap-column.
I simply fail to see any practical use cases for this kind of
display. What are we trying to support with this?
It's hard to reason about this without having some use cases in mind.
- Re: HTML-Info design, (continued)
- 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 <=
- Re: word-wrap and wrapping before window-width, Ivan Shmakov, 2014/12/30
- Re: word-wrap and wrapping before window-width, Stefan Monnier, 2014/12/30
- Re: word-wrap and wrapping before window-width, Ivan Shmakov, 2014/12/30
- Re: word-wrap and wrapping before window-width, Eli Zaretskii, 2014/12/30
- Re: word-wrap and wrapping before window-width, Ivan Shmakov, 2014/12/31
- Re: word-wrap and wrapping before window-width, Eli Zaretskii, 2014/12/31
- Re: word-wrap and wrapping before window-width, Ivan Shmakov, 2014/12/31
- Re: word-wrap and wrapping before window-width, Eli Zaretskii, 2014/12/31
- Re: word-wrap and wrapping before window-width, Ivan Shmakov, 2014/12/31
- Re: word-wrap and wrapping before window-width, Eli Zaretskii, 2014/12/31