8000 Fix `leading_space` sometimes being ignored during paragraph splitting by afishhh · Pull Request #7031 · emilk/egui · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Fix leading_space sometimes being ignored during paragraph splitting#7031

Merged
emilk merged 2 commits intoemilk:m 8000 ainfrom
afishhh:fix-leading-space
May 8, 2025
Merged

Fix `leading_space` sometimes being ignored during paragraph splitting#7031
emilk merged 2 commits intoemilk:mainfrom
afishhh:fix-leading-space

Commits

Commits on May 7, 2025

Commits on May 8, 2025
0