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

Allow UI font weight to be assigned in settings #12333

Merged
merged 4 commits into from
May 27, 2024
Merged

Allow UI font weight to be assigned in settings #12333

merged 4 commits into from
May 27, 2024

Commits on May 26, 2024

  1. Allow the UI font weight to be adjusted via a setting

    @nathansobo
    nathansobo committed May 26, 2024
    Configuration menu
    Copy the full SHA
    e4ba0aa View commit details
    Browse the repository at this point in the history

Commits on May 27, 2024

  1. Merge remote-tracking branch 'origin/main' into ui_font_weight

    @nathansobo
    nathansobo committed May 27, 2024
    Configuration menu
    Copy the full SHA
    8c95f6f View commit details
    Browse the repository at this point in the history

  2. Don't clone a copy type

    @nathansobo
    nathansobo committed May 27, 2024
    Configuration menu
    Copy the full SHA
    1e5fcb7 View commit details
    Browse the repository at this point in the history

  3. Make font weight configurable for buffer and terminal

    @nathansobo
    nathansobo committed May 27, 2024
    Configuration menu
    Copy the full SHA
    9282bbb View commit details
    Browse the repository at this point in the history