1
0

Fixes double dot problem with numerical constrants

This commit is contained in:
Jip J. Dekker 2016-01-18 22:25:33 +01:00
parent 1d54e43bdc
commit 2bd4158e1d
2 changed files with 2 additions and 1 deletions

View File

@ -1,5 +1,6 @@
## 0.4.1 ## 0.4.1
- Enables the user to disable linting in the package settings - Enables the user to disable linting in the package settings
- Fixes problem in highlighting of numerical constants
## 0.4.0 ## 0.4.0
- Combines the linter and syntax highlighting package (formerly https://github.com/jjdekker/linter-mzn). I'll look into the possibility of disabling the linter extension at a later stadium. - Combines the linter and syntax highlighting package (formerly https://github.com/jjdekker/linter-mzn). I'll look into the possibility of disabling the linter extension at a later stadium.

View File

@ -140,7 +140,7 @@
} }
{ {
'match': '([+-]?)\\d+(\\.\\d*)?([eE][-+]?\\d+)?' 'match': '([+-]?)\\d+(\\.(?!\\.)\\d*)?([eE][-+]?\\d+)?'
'name': 'constant.numeric.mzn' 'name': 'constant.numeric.mzn'
} }
] ]