Skip to content

Conversation

@senchpimy
Copy link

In a different branch

@github-actions
Copy link

Preview is being built...

Preview will be available at https://egui-pr-preview.github.io/pr/7764-feature/easy-mark-headings

View snapshot changes at kitdiff

@oscargus
Copy link
Contributor

What about naming them SubHeading and SubSubHeading? (sub_heading, sub_sub_heading) Given that the original is not called Heading1, it seems like one can just go with another naming scheme and that it probably will make more sense in many situations.

And maybe a bit of documentation what they are.

(But I would definitely use this in my app instead of the manual setting of fonts that I currently rely on.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants