require editor margins to be ints

Not directly relevant here, but forks of this project that permit zooming can run into weird glitches if margins are not a whole number of pixels.

I'd always assumed a type system that divided ints into floats was strictly superior, but now I have experienced a situation where requiring ints isn't just a compromise for the underlying CPU implementation. Particularly since Lua's print() silently hides really tiny fractions.

Created by  Kartik K. Agaram  on December 23, 2022
HZRO5BV5ZMCJFYAKHFJ5PCQCKCOF4GL6CNVVIQDJTFEU7PHPZRCQC
Change contents