method
Screen.sprite_scaled
Screen.sprite_scaled(id, x, y, scale)
Draws sprite id at (x, y) enlarged by an integer scale (2 doubles it, and so on) — for chunky pixel-art zoom without blurring.
Example
program Demo {
handler DrawWorld phase Render {
Screen.clear(Color.MidnightBlue)
Screen.sprite_scaled(id: boss, x: bx, y: by, scale: 3)
Screen.show()
}
}