From 54d62ad2f3eb72d57683780b55dad2a97b1e2dcb Mon Sep 17 00:00:00 2001
From: Hannes Schulze <haschu0103@outlook.de>
Date: Wed, 1 Apr 2026 20:51:11 +0200
Subject: clean up demo

---
 lib/Wayland/Display.lean | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/Wayland/Display.lean')

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
-- 
cgit v1.3.1