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/RiverWindowManagementV1/Header.lean  | 32 +++++++++++-----------
 1 file changed, 16 insertions(+), 16 deletions(-)

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

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
 
-- 
cgit v1.3.1