1. General
  2. Fejl
+1
Fast

Bigger int values get garbled

Oktay Acikalin 13 år siden • opdateret af Jon Skinner 13 år siden • 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.

Svar

Svar
Fast
Jon Skinner 13 år siden
Fixed in build 2036
adzenith 13 år siden
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.
Oktay Acikalin 13 år siden
Yes - it seems that the whole file is being regenerated. Perhaps the internal int variable is too small to hold the value?
adzenith 13 år siden
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.
Oktay Acikalin 13 år siden
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..
Oktay Acikalin 13 år siden
Seems to work properly now - thanks!
Svar
Fast
Jon Skinner 13 år siden
Fixed in build 2036

Kundesupport af UserEcho