wip tinyrwm in lean

1 files changed, 16 insertions, 16 deletions

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