prefer margin over padding

Mnemotechnician · Jan 6, 2022 · 2f47439 · 2f47439
1 parent 19fe0d9
commit 2f47439
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/src/main/kotlin/com/github/mnemotechnician/mkui/windows/WindowManager.kt b/lib/src/main/kotlin/com/github/mnemotechnician/mkui/windows/WindowManager.kt
@@ -118,7 +118,7 @@ object WindowManager {
 							window.isDragging = false;
 						}
 					})
-				}.fillX()
+				}.margin(5f).marginBottom(0f).fillX()
 
 				hsplitter()
 
@@ -128,7 +128,7 @@ object WindowManager {
 					setBackground(Styles.black3)
 
 					window.table = this
-				}.grow().pad(5f).get()
+				}.grow().margin(5f).get()
 			}
 
 			//right border