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.

Sign up for GitHub

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

Jump to bottom

Add restricted fonts and case insensitivity to font manager #231

Merged
merged 3 commits into from
Nov 3, 2024
Merged

Add restricted fonts and case insensitivity to font manager #231

merged 3 commits into from
Nov 3, 2024

Commits on Nov 3, 2024

  1. Add restricted fonts and case insensitivity to font manager

    @GarboMuffin
    GarboMuffin committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    ba269d6 View commit details
    Browse the repository at this point in the history

  2. Rearrange

    @GarboMuffin
    GarboMuffin committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    bb8fd4b View commit details
    Browse the repository at this point in the history

  3. Replace old font with case insensitve same name 

    Doesn't affect our -gui but could affect other users, like extensions
    @GarboMuffin
    GarboMuffin committed Nov 3, 2024
    Configuration menu
    Copy the full SHA
    3ee89ed View commit details
    Browse the repository at this point in the history