3 files changed, 49 insertions, 49 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
diff --git a/lib/Wayland/Protocols/RiverWindowManagementV1/Header.lean b/lib/Wayland/Protocols/RiverWindowManagementV1/Header.lean
index 4acaf02..4da96e7 100644
--- a/lib/Wayland/Protocols/RiverWindowManagementV1/Header.lean
+++ b/lib/Wayland/Protocols/RiverWindowManagementV1/Header.lean
@@ -38,17 +38,17 @@ inductive RiverWindowV1.DecorationHint where
   | noPreference
 
 structure RiverWindowV1.Edges where
-  none : Bool
-  top : Bool
-  bottom : Bool
-  left : Bool
-  right : Bool
+  none : Bool := false
+  top : Bool := false
+  bottom : Bool := false
+  left : Bool := false
+  right : Bool := false
 
 structure RiverWindowV1.Capabilities where
-  windowMenu : Bool
-  maximize : Bool
-  fullscreen : Bool
-  minimize : Bool
+  windowMenu : Bool := false
+  maximize : Bool := false
+  fullscreen : Bool := false
+  minimize : Bool := false
 
 inductive RiverDecorationV1.Error where
   | noCommit
@@ -65,13 +65,13 @@ inductive RiverOutputV1.PresentationMode where
   | async
 
 structure RiverSeatV1.Modifiers where
-  none : Bool
-  shift : Bool
-  ctrl : Bool
-  mod1 : Bool
-  mod3 : Bool
-  mod4 : Bool
-  mod5 : Bool
+  none : Bool := false
+  shift : Bool := false
+  ctrl : Bool := false
+  mod1 : Bool := false
+  mod3 : Bool := false
+  mod4 : Bool := false
+  mod5 : Bool := false
 
 namespace RiverWindowManagerV1.Error
 
diff --git a/lib/Wayland/Protocols/Wayland/Header.lean b/lib/Wayland/Protocols/Wayland/Header.lean
index a12c0bf..3d7346d 100644
--- a/lib/Wayland/Protocols/Wayland/Header.lean
+++ b/lib/Wayland/Protocols/Wayland/Header.lean
@@ -201,27 +201,27 @@ inductive WlDataDevice.Error where
   | usedSource
 
 structure WlDataDeviceManager.DndAction where
-  none : Bool
-  copy : Bool
-  move : Bool
-  ask : Bool
+  none : Bool := false
+  copy : Bool := false
+  move : Bool := false
+  ask : Bool := false
 
 inductive WlShell.Error where
   | role
 
 structure WlShellSurface.Resize where
-  none : Bool
-  top : Bool
-  bottom : Bool
-  left : Bool
-  topLeft : Bool
-  bottomLeft : Bool
-  right : Bool
-  topRight : Bool
-  bottomRight : Bool
+  none : Bool := false
+  top : Bool := false
+  bottom : Bool := false
+  left : Bool := false
+  topLeft : Bool := false
+  bottomLeft : Bool := false
+  right : Bool := false
+  topRight : Bool := false
+  bottomRight : Bool := false
 
 structure WlShellSurface.Transient where
-  inactive : Bool
+  inactive : Bool := false
 
 inductive WlShellSurface.FullscreenMethod where
   | default
@@ -237,9 +237,9 @@ inductive WlSurface.Error where
   | defunctRoleObject
 
 structure WlSeat.Capability where
-  pointer : Bool
-  keyboard : Bool
-  touch : Bool
+  pointer : Bool := false
+  keyboard : Bool := false
+  touch : Bool := false
 
 inductive WlSeat.Error where
   | missingCapability
@@ -293,8 +293,8 @@ inductive WlOutput.Transform where
   | flipped270
 
 structure WlOutput.Mode where
-  current : Bool
-  preferred : Bool
+  current : Bool := false
+  preferred : Bool := false
 
 inductive WlSubcompositor.Error where
   | badSurface