From 648edcd81fc2045cab70ec2b82d81577158d8613 Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Fri, 5 Jun 2026 21:05:23 +0200
Subject: first working version

---
 .../Protocols/RiverXkbConfigV1/Requests.lean       | 24 +++++++++++-----------
 1 file changed, 12 insertions(+), 12 deletions(-)

(limited to 'lib/Wayland/Protocols/RiverXkbConfigV1')

diff --git a/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean b/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
index 7cae24d..8e58633 100644
--- a/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
+++ b/lib/Wayland/Protocols/RiverXkbConfigV1/Requests.lean
@@ -9,13 +9,13 @@ variable {σ : Type} {ι : InterfaceName} [iface : ResolvedInterface ι]
 def RiverXkbConfigV1.stop
     (ω : RiverXkbConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 0
 
 def RiverXkbConfigV1.destroy
     (ω : RiverXkbConfigV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 1
 
 def RiverXkbConfigV1.createKeymap
@@ -23,7 +23,7 @@ def RiverXkbConfigV1.createKeymap
     (fd : Fd)
     (format : RiverXkbConfigV1.KeymapFormat)
     : DisplayM σ RiverXkbKeymapV1 :=
-  ω.sendConstructor do
+  ω.sendConstructor false do
     ArgumentMarshaller.marshalAnyObject .none
     Marshallable.marshal .fd fd
     Marshallable.marshal .uint format
@@ -32,20 +32,20 @@ def RiverXkbConfigV1.createKeymap
 def RiverXkbKeymapV1.destroy
     (ω : RiverXkbKeymapV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbKeyboardV1.destroy
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send true do
     return 0
 
 def RiverXkbKeyboardV1.setKeymap
     (ω : RiverXkbKeyboardV1)
     (keymap : RiverXkbKeymapV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .object keymap
     return 1
 
@@ -53,7 +53,7 @@ def RiverXkbKeyboardV1.setLayoutByIndex
     (ω : RiverXkbKeyboardV1)
     (index : Int32)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .int index
     return 2
 
@@ -61,32 +61,32 @@ def RiverXkbKeyboardV1.setLayoutByName
     (ω : RiverXkbKeyboardV1)
     (name : String)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     Marshallable.marshal .string name
     return 3
 
 def RiverXkbKeyboardV1.capslockEnable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 4
 
 def RiverXkbKeyboardV1.capslockDisable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 5
 
 def RiverXkbKeyboardV1.numlockEnable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 6
 
 def RiverXkbKeyboardV1.numlockDisable
     (ω : RiverXkbKeyboardV1)
     : DisplayM σ Unit :=
-  ω.send do
+  ω.send false do
     return 7
 
 end Wayland.Protocols
\ No newline at end of file
-- 
cgit v1.3.1