diff options
Diffstat (limited to 'lib/Wayland/Display.lean')
| -rw-r--r-- | lib/Wayland/Display.lean | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Wayland/Display.lean b/lib/Wayland/Display.lean index f07c5ff..0a049b3 100644 --- a/lib/Wayland/Display.lean +++ b/lib/Wayland/Display.lean @@ -317,6 +317,10 @@ def Object.listen {ι : InterfaceName} [iface : Interface ι] (obj : Object ι) ReaderT.run (handler event) global global.listen obj.proxy actualHandler +/-- Shorthand to ensure the reference count of an `Object` does not drop to `0`. -/ +def Object.keep {ι : InterfaceName} (obj : Object ι) : DisplayM σ Unit := + obj.proxy.keep + end Proxies end Wayland |