Prevent html markup of numbers?

[Isaac Gouy]

Seems like I can prevent html markup of operators by setting Operators=None in the langDef files. (That reduced markup file size to about 1/3).

How can I prevent html markup of numbers?

[André Simon]

Hi,

Digits is a predefined parameter. You can override it using a regular expression which never matches. You can do this in each language file, or using a plug-in:

Description="Do not highlight numbers"

-- optional parameter: syntax description
function syntaxUpdate(desc)
  Digits = '(?!x)x'
end

Plugins={
  { Type="lang", Chunk=syntaxUpdate },
}

Apply this file with the --plug-in option.

[André Simon]

The release 3.24 contains a script to prevent operator and number highlighting.