add framebufferSize callback (FFI scaffolding and creating new variant of input_message type but don't react to this message in a meaningful way yet)

This commit is contained in:
2024-08-01 23:33:54 +01:00
parent c5d9ed4c69
commit 13063ea2c6
7 changed files with 34 additions and 7 deletions

View File

@@ -4,6 +4,7 @@ sig
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
| MOUSE_LEFT_CLICK
| MOUSE_LEFT_RELEASE
| RESIZE_WINDOW of {width: int, height: int}
end
structure InputMessage :> INPUT_MESSAGE =
@@ -12,4 +13,5 @@ struct
MOUSE_MOVE of {x: Real32.real, y: Real32.real}
| MOUSE_LEFT_CLICK
| MOUSE_LEFT_RELEASE
| RESIZE_WINDOW of {width: int, height: int}
end