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 the TeXGyreHeros font as one of the default and a hack to use it #123

Merged
merged 6 commits into from
Jul 24, 2024
Merged

Add the TeXGyreHeros font as one of the default and a hack to use it #123

merged 6 commits into from
Jul 24, 2024

Commits on Jul 24, 2024

  1. Add TeXGyreHeros as possible font family

    @Kolaru
    Kolaru committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    b339574 View commit details
    Browse the repository at this point in the history

  2. Hack to be able to choose the font family from the string

    @Kolaru
    Kolaru committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    e18a7a6 View commit details
    Browse the repository at this point in the history

  3. Fix hack for non texexpr nodes

    @Kolaru
    Kolaru committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    7d106b9 View commit details
    Browse the repository at this point in the history

  4. Simplify FontFamily creation

    @Kolaru
    Kolaru committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    e3fa188 View commit details
    Browse the repository at this point in the history

  5. Doc FontFamily

    @Kolaru
    Kolaru committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    081c8ec View commit details
    Browse the repository at this point in the history

  6. Bump version

    @Kolaru
    Kolaru committed Jul 24, 2024
    Configuration menu
    Copy the full SHA
    d253887 View commit details
    Browse the repository at this point in the history