Representation of special characters in console/Editor

[Oliver Schwanke]

Hi,

python 3.5 defines the @ operator for matrix multiplication,

for the moment this one and the following chars get colored yellowish, like decorators, which looks somewhat weird.

‌

And python allows thousandseparators, which also dont get colored correctly, see pictures attached.

import numpy as np
T=np.eye(3)
v = np.array([1,2,3])
T@v # v is yellowish here
array([1., 2., 3.])
T @ v # this one is colored correctly
array([1., 2., 3.])

‌

only first “1” is colored, rest is black.

1_000_000.5

‌

[M. Gronle]

fixes issue #126: improved python syntax highlighting: numbers with underscores are correctly parsed as well as the new @ operator for element-wise multiplication.

→ <<cset d7d846e20f2c>>