[GoldenLayout] Add size-related config options

src/Aardvark.UI.Primitives/Golden/GoldenLayout.fs

@@ -27,6 +27,10 @@ module LayoutConfig =
           DragToNewWindow    = true
           HeaderButtons      = Buttons.All
           SetPopoutTitle     = true
+          MinItemWidth       = 20
+          MinItemHeight      = 20
+          DragProxyWidth     = 300
+          DragProxyHeight    = 200
           LabelMinimize      = "Minimize"
           LabelMaximize      = "Maximize"
           LabelPopOut        = "Open in new window"
@@ -67,6 +71,7 @@ module Builders =
               Closable  = true
               Header    = Some Header.Top
               Buttons   = None
+              MinSize   = None
               Size      = Size.Weight 1
               KeepAlive = true }
 
@@ -96,6 +101,11 @@ module Builders =
         member inline x.Buttons(e : Element, buttons : Buttons) =
             { e with Buttons = Some buttons }
 
+        /// Minimum size (in pixels) of the element in any dimension.
+        [<CustomOperation("minSize")>]
+        member inline x.MinSize(e : Element, sizeInPixels : int) =
+            { e with MinSize = Some sizeInPixels }
+
         /// Size of the element in case the parent is a row or column container.
         [<CustomOperation("size")>]
         member inline x.Size(e : Element, size : Size) =
@@ -297,6 +307,10 @@ module GoldenLayoutApp =
                         o.["header"] <- ofHeader config e.Buttons e.Header
                         o.["size"] <- JToken.op_Implicit (string e.Size)
 
+                        match e.MinSize with
+                        | Some s -> o.["minSize"] <- JToken.op_Implicit $"%d{s}px"
+                        | _ -> ()
+
                         let s = JObject()
                         s.["keepAlive"] <- JToken.op_Implicit e.KeepAlive
                         o.["componentState"] <- s
@@ -335,10 +349,19 @@ module GoldenLayoutApp =
                     o.["setPopoutTitle"] <- JToken.op_Implicit config.SetPopoutTitle
                     o
 
+                let ofConfigDimensions (config : LayoutConfig) =
+                    let o = JObject()
+                    o.["defaultMinItemWidth"] <- JToken.op_Implicit $"{config.MinItemWidth}px"
+                    o.["defaultMinItemHeight"] <- JToken.op_Implicit $"{config.MinItemHeight}px"
+                    o.["dragProxyWidth"] <- JToken.op_Implicit config.DragProxyWidth
+                    o.["dragProxyHeight"] <- JToken.op_Implicit config.DragProxyHeight
+                    o
+
             let ofLayoutConfig (config : LayoutConfig) (layout : Layout) =
                 let o = JObject()
                 o.["root"] <- JObject.ofLayout config layout
                 o.["settings"] <- JObject.ofConfigSettings config
+                o.["dimensions"] <- JObject.ofConfigDimensions config
                 o.["header"] <- JObject.ofConfigLabels config
                 o.ToString Formatting.None
 

src/Aardvark.UI.Primitives/Golden/GoldenLayoutModel.fs

@@ -45,6 +45,9 @@ type Element =
         /// Buttons to display in the header.
         Buttons   : Buttons option
 
+        /// Minimum size (in pixels) of the element in any dimension.
+        MinSize   : int option
+
         /// Size of the element in case the parent is a row or column container.
         Size      : Size
 
@@ -113,6 +116,18 @@ type LayoutConfig =
         /// Determines whether the document.title of popouts is set and updated automatically to the document.title of the main window.
         SetPopoutTitle : bool
 
+        /// Default minimum width (in pixels) of any item. Default is 20.
+        MinItemWidth : int
+
+        /// Default minimum height (in pixels) of any item. Default is 20.
+        MinItemHeight : int
+
+        /// Width (in pixels) of drag proxy elements. Default is 300.
+        DragProxyWidth : int
+
+        /// Height (in pixels) of drag proxy elements. Default is 200.
+        DragProxyHeight : int
+
         /// Tooltip label of minimize button.
         LabelMinimize : string
 

src/Scratch/25 - GoldenLayout/App.fs

@@ -24,6 +24,7 @@ let defaultLayout =
             element {
                 id "render"
                 title "3D View"
+                minSize 100
             }
 
             element {