diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 20:37:48 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 20:37:48 +0200 |
| commit | f2272d4210f80731a200a1a4d41fa1a29e1d2074 (patch) | |
| tree | 63cd8fc5cf54985a905dfbd2bf63d4bd36b4d493 /lib/Wayland/Native.lean | |
| parent | 6390f8d7e7dfe8c0311cffc2e928e93abb92714b (diff) | |
fix demo
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) |