These are chat archives for coala/coala-bears

Oct 2017
Mischa Krüger
Oct 06 2017 20:03
No the number shall not be a string in the end appearing in JSON @aashraybhandar1
that would be bad for the user in most cases^^
probably you have to use a JSON formatter class that controls the rendering, also of numbers^^