Fixed

Bigger int values get garbled

14 years ago • updated by 14 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.

Vote

Answer

Fixed

14 years ago

Fixed in build 2036

Replies 5
Oldest first
- Newest first
- Oldest first

14 years ago

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.

14 years ago

Yes - it seems that the whole file is being regenerated. Perhaps the internal int variable is too small to hold the value?

14 years ago

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.

14 years ago

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..

14 years ago

Seems to work properly now - thanks!

Answer

Fixed

14 years ago

Fixed in build 2036

Customer support service by UserEcho