A lightweight programming environment for desktop and mobile devices

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