Skip to content

Increase default text size from 12.5 to 13.0#7521

Merged
emilk merged 7 commits intomainfrom
emilk/style-tweaks
Sep 9, 2025
Merged

Increase default text size from 12.5 to 13.0#7521
emilk merged 7 commits intomainfrom
emilk/style-tweaks

Conversation

@emilk
Copy link
Copy Markdown
Owner

@emilk emilk commented Sep 9, 2025

…and other small ui tweaks.

Why the change from 12.5 -> 13.0? We round the line height to the nearest whole pixel, so using an integer will produce text that is more similar to other applications. It also means we can bump the size without using up more vertical space (12.5 got rounded down to 12.0).

@emilk emilk requested a review from lucasmerlin as a code owner September 9, 2025 08:13
@emilk emilk added egui style visuals and theming labels Sep 9, 2025
@github-actions
Copy link
Copy Markdown

github-actions bot commented Sep 9, 2025

Preview available at https://egui-pr-preview.github.io/pr/7521-emilkstyle-tweaks
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

@emilk
Copy link
Copy Markdown
Owner Author

emilk commented Sep 9, 2025

Let's bump monospace too, for consistency

@emilk emilk merged commit 72b9b9d into main Sep 9, 2025
47 checks passed
@emilk emilk deleted the emilk/style-tweaks branch September 9, 2025 13:47
@emilk emilk mentioned this pull request Sep 11, 2025
Masterchef365 pushed a commit to Masterchef365/egui that referenced this pull request Apr 3, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

egui style visuals and theming

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant