Skip to content

Better centering of window/dialog titles#238

Merged
creesch merged 3 commits intomasterfrom better-window-header-centeringFeb 29, 2020

Commits

Commits on Feb 27, 2020

Commits on Feb 28, 2020