Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Base: Add new bitmap font Tiny #10712

Closed
wants to merge 7 commits into from
Closed

Base: Add new bitmap font Tiny #10712

wants to merge 7 commits into from

Conversation

Xexxa
Copy link
Collaborator

@Xexxa Xexxa commented Oct 30, 2021

screenshotTiny

@awesomekling
Copy link
Contributor

What is the purpose of this font?

@Xexxa
Copy link
Collaborator Author

Xexxa commented Oct 30, 2021

What is the purpose of this font?

The purpose is to write really small text. Personally I mainly use really small font sizes in pixel-art(I know Pixel Paint does not have an "Insert text" tool yet). But I'm sure there is a lot of other uses.

The font is mainly decorative because it is really hard to read. Honestly, I really like tiny fonts and I thought it was missing from SerenityOS. But I stopped at ~150 glyphs to see if it gets merged or not. :)

@BuggieBot
Copy link
Member

One or more of the commits in this PR do not match the code submission policy, please check the lint_commits CI job for more details.

@Xexxa
Copy link
Collaborator Author

Xexxa commented Nov 1, 2021

screenshotTinyRegular6runic

The glyphs is mostly in the ranges of symbols, geometric shapes,
emoticons and latin extended. The font name changed from "Tiny"
to "Tiny Regular" to follow the established naming convention.
@awesomekling
Copy link
Contributor

All right. But please remove the merge commit :)

The glyphs is mostly in the ranges of symbols, geometric shapes,
emoticons and latin extended. The font name changed from "Tiny"
to "Tiny Regular" to follow the established naming convention.
@Xexxa Xexxa closed this Nov 2, 2021
@Xexxa
Copy link
Collaborator Author

Xexxa commented Nov 2, 2021

All right. But please remove the merge commit :)

I tried. I messed up. Felt better to close the PR then wasting resources for all the checks. Is it acceptable to create a clean new pull request?

(obviously I'm much better at spending hours drawing glyphs based on the Unicode character code charts then GIT)

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.

3 participants