Fixes #5127. Anchor button delimiters to edges; fix highlight continuity#5279

Merged

YourRobotOverlord merged 5 commits into

gui-cs:developfrom

YourRobotOverlord:fix-5127-button-edge-delimiters

May 9, 2026

Commits on May 8, 2026

Fixes #5127. Anchor fixed-width button delimiters

YourRobotOverlord
and
Copilot
committed
Fixes #5127. Keep button highlight continuous

YourRobotOverlord
and
Copilot
committed
Fixes #5127. Refine OnDrawingText: cache GetDrawRegion, FillRect for full highlight

YourRobotOverlord
and
Copilot
committed
Address PR review: guard _interiorTextFormatter assignments, mirror missing TextFormatter settings, add multi-row highlight test

YourRobotOverlord
and
Copilot
committed
Add ButtonDrawBenchmark to measure OnDrawingText guard performance

YourRobotOverlord
and
Copilot
committed