Flatten HUDElement

2025-08-26 16:46:02 +01:00
parent 596880f76a
commit 9034c409e1
24 changed files with 255 additions and 270 deletions
@@ -36,9 +36,7 @@ data SelectionSection a = SelectionSection

 type IMSS a = IntMap (SelectionSection a)

-data SelectionWidth
-    = FixedSelectionWidth Int
-    | UseItemWidth
+data SelectionWidth = FixedSelectionWidth Int | UseItemWidth

 data SelectionItem a
    = SelItem