+1
Fixed

Bigger int values get garbled

Oktay Acikalin 13 years ago updated by Jon Skinner 13 years ago 5
I want to set the following in my base file settings file:
"highlight_trailing_spaces_max_file_size": 1048576,

But after some restarts or time (I don't really know when) it suddenly become this:
"highlight_trailing_spaces_max_file_size": 1.04858e+06,

And I don't change the value using set or anything else.

Last seen on OSX 10.6.6 with build 2031.

Answer

Answer
Fixed
Fixed in build 2036
I do know that if you change your color scheme the user file prefs file gets rewritten. When it gets rewritten it appears that the lines in the file also get sorted alphabetically.
Yes - it seems that the whole file is being regenerated. Perhaps the internal int variable is too small to hold the value?
I know three things: the file format is JSON, JavaScript has no integer types, and when you want to get integers using View.settings().get(), you have to use int() on the result.
That doesn't explain why the number gets rounded a bit when it gets written back to the file, though.
If I enter my original default value into the JSON settings file, I get a float from settings().get(). I wonder what happens if one presses such a big float into a too small c variable.
Anyway, 'hope Jon will fix this problem soon..
Seems to work properly now - thanks!
Answer
Fixed
Fixed in build 2036