From 350d3ca21e6a2d215016c84afa07ccb75abd8a6e Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Fri, 5 Jun 2026 17:04:51 +0200
Subject: wip tinyrwm in lean

---
 .../Protocols/RiverLibinputConfigV1/Header.lean    | 28 +++++++++++-----------
 1 file changed, 14 insertions(+), 14 deletions(-)

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

diff --git a/lib/Wayland/Protocols/RiverLibinputConfigV1/Header.lean b/lib/Wayland/Protocols/RiverLibinputConfigV1/Header.lean
index 3f62b69..48f22dc 100644
--- a/lib/Wayland/Protocols/RiverLibinputConfigV1/Header.lean
+++ b/lib/Wayland/Protocols/RiverLibinputConfigV1/Header.lean
@@ -20,9 +20,9 @@ inductive RiverLibinputDeviceV1.Error where
   | invalidArg
 
 structure RiverLibinputDeviceV1.SendEventsModes where
-  enabled : Bool
-  disabled : Bool
-  disabledOnExternalMouse : Bool
+  enabled : Bool := false
+  disabled : Bool := false
+  disabledOnExternalMouse : Bool := false
 
 inductive RiverLibinputDeviceV1.TapState where
   | disabled
@@ -53,10 +53,10 @@ inductive RiverLibinputDeviceV1.AccelProfile where
   | custom
 
 structure RiverLibinputDeviceV1.AccelProfiles where
-  none : Bool
-  flat : Bool
-  adaptive : Bool
-  custom : Bool
+  none : Bool := false
+  flat : Bool := false
+  adaptive : Bool := false
+  custom : Bool := false
 
 inductive RiverLibinputDeviceV1.NaturalScrollState where
   | disabled
@@ -72,9 +72,9 @@ inductive RiverLibinputDeviceV1.ClickMethod where
   | clickfinger
 
 structure RiverLibinputDeviceV1.ClickMethods where
-  none : Bool
-  buttonAreas : Bool
-  clickfinger : Bool
+  none : Bool := false
+  buttonAreas : Bool := false
+  clickfinger : Bool := false
 
 inductive RiverLibinputDeviceV1.ClickfingerButtonMap where
   | lrm
@@ -91,10 +91,10 @@ inductive RiverLibinputDeviceV1.ScrollMethod where
   | onButtonDown
 
 structure RiverLibinputDeviceV1.ScrollMethods where
-  noScroll : Bool
-  twoFinger : Bool
-  edge : Bool
-  onButtonDown : Bool
+  noScroll : Bool := false
+  twoFinger : Bool := false
+  edge : Bool := false
+  onButtonDown : Bool := false
 
 inductive RiverLibinputDeviceV1.ScrollButtonLockState where
   | disabled
-- 
cgit v1.3.1