diff options
Diffstat (limited to 'lib/Wayland/Native.lean')
| -rw-r--r-- | lib/Wayland/Native.lean | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/Wayland/Native.lean b/lib/Wayland/Native.lean index f8943ac..dd138e4 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -46,6 +46,9 @@ opaque SIGUSR2 (u : Unit) : UInt32 @[extern "waylean_display_new"] opaque Display.new : (name : @& Option String) → IO Display +@[extern "waylean_display_flush"] +opaque Display.flush : (display : @& Display) → IO Unit + @[extern "waylean_event_loop_new"] opaque EventLoop.new : IO (EventLoop M) |