For example 10.5. Some other editors accept that value.

Thanks :-)

—
Reply to this email directly or view it on GitHub.