This is for anyone that didn't manage to find a solution or was too lazy to look at the Picotron Documentation (like me).

You can get the window size after the user resized the window with
get_display():width()
and
get_display():height()
, respectively.

To detect when the window is resized you can use the following code by arnaught:

on_event("resize", function (msg)
    width = msg.width
    height = msg.height
end)

You can also detect when the window is resized and get the width and height with an event.

on_event("resize", function (msg)
    width = msg.width
    height = msg.height
end)

Thank you for your reply, arnaught. I’ve included your code snippet in the tutorial.