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

bugfix: Pin pygments pending improved conversion to urwid #1433

Merged
merged 1 commit into from
Oct 4, 2023
Merged

bugfix: Pin pygments pending improved conversion to urwid #1433

merged 1 commit into from
Oct 4, 2023

Commits on Oct 4, 2023

  1. requirements: Pin pygments at ~=2.15.1 instead of >=2.14.0. 

    Pygments 2.16.0 introduced a style to support a combination of bold and
italic styling in pygments/pygments#2444. Both of our gruvbox themes and
the light native theme gain a 'bold strong' style via pygments as a
result, which urwid fails to parse and blocks the application from
loading.

Longer-term we should improve the pygments to urwid translation logic to
allow these styles to work and an upgrade to later pygments versions,
but for now this allows these themes to continue working as before.

Fixes zulip#1431.
    @neiljp
    neiljp committed Oct 4, 2023
    Configuration menu
    Copy the full SHA
    3f4f7da View commit details
    Browse the repository at this point in the history