- General
-
Errors
+1
Fixed
Bigger int values get garbled
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.
"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
0
Answer
Fixed
Jon Skinner fa 14 anys
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.
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..
Anyway, 'hope Jon will fix this problem soon..
Customer support service by UserEcho
