[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Playground pager lsp(1)
From: |
Dirk Gouders |
Subject: |
Re: Playground pager lsp(1) |
Date: |
Wed, 05 Apr 2023 21:56:10 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
>> From: Dirk Gouders <dirk@gouders.net>
>> Cc: Alejandro Colomar <alx.manpages@gmail.com>, linux-man@vger.kernel.org,
>> help-texinfo@gnu.org
>> Date: Wed, 05 Apr 2023 20:01:56 +0200
>>
>> Arsen Arsenović <arsen@aarsen.me> writes:
>>
>> >>>> • In windowing environments lsp does complete resizes when
>> >>>> windows
>> >>>> get resized. This means it also reloads the manual page to
>> >>>> fit the
>> >>>> new window size.
>> >>>
>> >>> Good. This I miss it in less(1) often. Not sure if they had any strong
>> >>> reason to not support that.
>> >>
>> >> Unfortunately, info(1) also doesn't do full resizes (on my system).
>> >
>> > Do you mean the info pages' column limit or that the viewer itself
>> > doesn't resize to fit the frame? The latter would be a bug.
>>
>> Yes, I meant the column limit. Sorry for not having expressed this very
>> clear.
>
> Info files are formatted already, you cannot ask the reader to
> reformat them for a different line length.
Thank you for that explanation; I didn't know that and now understand
info(1)'s behavior.
Dirk
> With man pages this is only possible if you never keep the formatted
> pages and reuse them once they were produced.
- Re: reformatting man pages at SIGWINCH, (continued)
- Re: reformatting man pages at SIGWINCH, Dirk Gouders, 2023/04/07
- Re: reformatting man pages at SIGWINCH, Alejandro Colomar, 2023/04/07
- Re: reformatting man pages at SIGWINCH, Dirk Gouders, 2023/04/10
- Re: reformatting man pages at SIGWINCH, Alejandro Colomar, 2023/04/10
- Re: reformatting man pages at SIGWINCH, G. Branden Robinson, 2023/04/10
- Re: reformatting man pages at SIGWINCH, Dirk Gouders, 2023/04/11
Re: Playground pager lsp(1), Dirk Gouders, 2023/04/05
- Re: Playground pager lsp(1), Arsen Arsenović, 2023/04/05
- Re: Playground pager lsp(1), Dirk Gouders, 2023/04/05
- Re: Playground pager lsp(1), Eli Zaretskii, 2023/04/05
- Re: Playground pager lsp(1),
Dirk Gouders <=
- A less presumptive .info? (was: Re: Playground pager lsp(1)), Arsen Arsenović, 2023/04/05
- Re: A less presumptive .info? (was: Re: Playground pager lsp(1)), Eli Zaretskii, 2023/04/06
- Re: A less presumptive .info? (was: Re: Playground pager lsp(1)), Gavin Smith, 2023/04/06
- Re: A less presumptive .info? (was: Re: Playground pager lsp(1)), Arsen Arsenović, 2023/04/07
Re: Playground pager lsp(1), Alejandro Colomar, 2023/04/05