Skip to content

FormatBar: clean up widget construction#1772

Merged
jeremypw merged 3 commits into
masterfrom
danirabbit/formatbar-constructioncleanup
Jul 21, 2026
Merged

FormatBar: clean up widget construction#1772
jeremypw merged 3 commits into
masterfrom
danirabbit/formatbar-constructioncleanup