|
From: Leo B. <Leo...@um...> - 2025-07-08 16:17:18
|
On Mon, Jul 07 2025, Jaime Villate via Maxima-discuss <max...@li...> 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. The oddities are caused by re-using the function names `box' and `triangle' as plot options, right? I don't think there is a great way to fix this using the approach of highlightjs, but I am happy to be proven wrong. Of course, we could write a printer that provided hints as to the purpose of each symbol... >> >> Can you point out an example of this? >> >> > Sure, look at the attachment. I don't think the fault is with syntax highlighting, but rather an incomplete list of symbols. Failing an improved list, it would be worth figuring out how to add a widget to the web pages that disables syntax highlighting. Leo |