From 54d62ad2f3eb72d57683780b55dad2a97b1e2dcb Mon Sep 17 00:00:00 2001 From: Hannes Schulze Date: Wed, 1 Apr 2026 20:51:11 +0200 Subject: clean up demo --- lib/CWayland/CWayland.cc | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'lib/CWayland/CWayland.cc') 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 : ""); } 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 -- cgit v1.3.1