clean up demo

1 files changed, 7 insertions, 2 deletions

diff --git a/lib/CWayland/CWayland.cc b/lib/CWayland/CWayland.cc
index 3e6bd0e..cc9a9de 100644
--- a/lib/CWayland/CWayland.cc
+++ b/lib/CWayland/CWayland.cc
@@ -174,8 +174,6 @@ lean_obj_res waylean_display_new(b_lean_obj_arg name)
     if (!disp) { return io_result_mk_from_errno(name_cstr ? name_cstr : "<default>"); }
     lean_object* waylean_disp = lean_alloc_external(waylean_display_class(), disp);
 
-    // wl_proxy_add_dispatcher((wl_proxy*)disp, dispatcher_func, waylean_disp, nullptr);
-
     return lean_io_result_mk_ok(waylean_disp);
 }
 
@@ -1271,4 +1269,11 @@ lean_obj_res waylean_proxy_listen(b_lean_obj_arg proxy_obj, lean_obj_arg handler
     if (old_data) { lean_dec(old_data); }
     wl_proxy_set_user_data(proxy, handler);
     return lean_io_result_mk_ok(lean_box(0));
+}
+
+// Proxy.keep : (proxy : @& Proxy) → IO Unit
+lean_obj_res waylean_proxy_keep(b_lean_obj_arg proxy)
+{
+    (void)proxy;
+    return lean_io_result_mk_ok(lean_box(0));
 }
\ No newline at end of file