I have noticed that numbers containing underscores are not highlighted. While looking into it, I noticed some more problematic examples. Here is a list of numbers that are not correctly highlighted.
1_000, 1_0e1_0 (non consecutive underscores are allowed to separate digits)
I have noticed that numbers containing underscores are not highlighted. While looking into it, I noticed some more problematic examples. Here is a list of numbers that are not correctly highlighted.
1_000
,1_0e1_0
(non consecutive underscores are allowed to separate digits)0o1
(octal numbers are not supported)1j
,1e2j
(complex numbers are not supported)1E2
,0X0
,0B0
(capital letters are not allowed)10l
(long int are not supported)I'll make a PR to fix.
off-topic note : thanks a lot for this plugin !