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 jump-label styling for base16 themes #10076

Merged
merged 3 commits into from
Apr 1, 2024
Merged

Add jump-label styling for base16 themes #10076

merged 3 commits into from
Apr 1, 2024

Commits on Mar 31, 2024

  1. add jump-label styling for base16_transparent theme

    @pawelgrzybek
    pawelgrzybek committed Mar 31, 2024
    Configuration menu
    Copy the full SHA
    da08af8 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2024

  1. keep the change consistent with other themes from base16 family

    @pawelgrzybek
    pawelgrzybek committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    563ade2 View commit details
    Browse the repository at this point in the history

  2. update jump-labels color to blue and make them bold

    @pawelgrzybek
    pawelgrzybek committed Apr 1, 2024
    Configuration menu
    Copy the full SHA
    a2fbf5b View commit details
    Browse the repository at this point in the history