wip tinyrwm in lean

1 files changed, 14 insertions, 14 deletions

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