Control Separator widths, and less clipping in ScrollArea#2665
Merged
masterfrom emilk/extend-separatorsFeb 3, 2023
+75-11
Commits
Commits on Feb 3, 2023
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed