|
From: Raymond T. <toy...@gm...> - 2025-07-07 23:13:42
|
Oh, that is really weird. I'll modify configure to have a new option to enable syntax highlighting (defaulting to off). Syntax highlighting in most examples are ok, to me. I guess if we ever want it, we'll have to have an improved version of whatever highlightjs does with maxima. Or find a different syntax highlighting package. On 7/7/25 1:51 PM, Jaime Villate wrote: > > On 07/07/25 21:25, Raymond Toy wrote: >> >> On 7/7/25 12:48 PM, Jaime Villate via Maxima-discuss wrote: >> >>> Hello, >>> >>> The syntax coloring in the HTML version of the manual seems very odd >>> to me. Some random keywords appear in red or blue. In my opinion, it >>> would look better without any coloring at all. >> >> Can you point out an example of this? >> >> > Sure, look at the attachment. > > Regards, > > Jaime > ​ |