[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Colorizing source code in Info manuals
From: |
Arsen Arsenović |
Subject: |
Re: Colorizing source code in Info manuals |
Date: |
Fri, 06 Dec 2024 01:31:48 +0100 |
"Dr. Arne Babenhauserheide" <arne_bab@web.de> writes:
> Cecilio Pardo <cpardo@imayhem.com> writes:
>
>> As texinfo is not going to add features like color to the Info format,
>
> This could also be added in HTML Exports via Javascript-Libraries.
And without: (texinfo) Syntax Highlighting
>> I think maybe emacs could add some itself.
>>
>> For example, the Emacs Lisp Intro uses @smallexample blocks for
>> presenting lisp code. I modified makeinfo more or less successfully to
>> generate a file with the line numbers where these blocks start. With
>> this kind of information, emacs could fontify the source code.
>>
>> Does this sound good?
>
> That definitely sounds interesting!
>
> Could it also detect source blocks in *info* on the fly and then
> highlight the block like orgmode does it?
Instead of guesswork, the info format should be extended to contain the
language ID @example can take as an argument.
Really, the entire info format can be significantly better. It is
currently a marked-up catfile.
IMO, it should be replaced with something that has a proper DOM.
--
Arsen Arsenović
signature.asc
Description: PGP signature
- Colorizing source code in Info manuals, Cecilio Pardo, 2024/12/05
- Re: Colorizing source code in Info manuals, Dr. Arne Babenhauserheide, 2024/12/05
- Re: Colorizing source code in Info manuals,
Arsen Arsenović <=
- Re: Colorizing source code in Info manuals, Cecilio Pardo, 2024/12/06
- Re: Colorizing source code in Info manuals, Richard Stallman, 2024/12/08
- Re: Colorizing source code in Info manuals, Cecilio Pardo, 2024/12/08
- Re: Colorizing source code in Info manuals, Björn Bidar, 2024/12/08
- Re: Colorizing source code in Info manuals, Richard Stallman, 2024/12/10
- Re: Colorizing source code in Info manuals, Cecilio Pardo, 2024/12/11
- Re: Colorizing source code in Info manuals, chad, 2024/12/11
- Re: Colorizing source code in Info manuals, Richard Stallman, 2024/12/10
- Re: Colorizing source code in Info manuals, Cecilio Pardo, 2024/12/11
- RE: [External] : Re: Colorizing source code in Info manuals, Drew Adams, 2024/12/11