diff options
| author | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 20:51:11 +0200 |
|---|---|---|
| committer | Hannes Schulze <haschu0103@outlook.de> | 2026-04-01 20:51:11 +0200 |
| commit | 54d62ad2f3eb72d57683780b55dad2a97b1e2dcb (patch) | |
| tree | fdd7ae4c7615d406208391f5b3e6b42089a3a141 /lib/Wayland/Native.lean | |
| parent | f2272d4210f80731a200a1a4d41fa1a29e1d2074 (diff) | |
clean up 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 dd138e4..f8d4c53 100644 --- a/lib/Wayland/Native.lean +++ b/lib/Wayland/Native.lean @@ -136,4 +136,7 @@ opaque Proxy.sendConstructor : (proxy : @& Proxy) → (opcode : UInt32) → (arg @[extern "waylean_proxy_listen"] opaque Proxy.listen : (proxy : @& Proxy) → (handler : UInt32 → ArgumentBuffer → EventLoop M × M) → IO Unit +@[extern "waylean_proxy_keep"] +opaque Proxy.keep : (proxy : @& Proxy) → IO Unit + end Wayland.Native |