Separator(): Altered end-points to use more standard boundaries. (#205, #4787, #1643, #759)

2023-10-03 15:26:35 +02:00
parent 330d763477
commit 28b237f94d
3 changed files with 22 additions and 15 deletions
@@ -126,7 +126,7 @@ It's mostly a bunch of personal notes, probably incomplete. Feel free to query i

 - separator: expose flags (#759)
 - separator: take indent into consideration (optional)
- - separator: width, thickness, centering (#1643)
+ - separator: width, thickness, centering (#1643, #2657)
 - splitter: formalize the splitter idiom into an official api (we want to handle n-way split) (#319)

 - docking: merge docking branch (#2109)