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

Scoped label display and documentation tweaks #23430

Merged
merged 2 commits into from
Mar 13, 2023
Merged

Scoped label display and documentation tweaks #23430

merged 2 commits into from
Mar 13, 2023

Commits on Mar 12, 2023

  1. Scoped label display and documentation tweaks 

    * Fix scoped label left and right part breaking across lines.
* Remove slanted divider in scoped label display, make it straight. After
  using this for a while, this feels more visually noisy than helpful.
* Reduce contrast between scope and item to reduce probability of unreadable
  text on background.
* Change documentation to remove mention of non-exclusive scoped labels.
    @brechtvl
    brechtvl committed Mar 12, 2023
    Configuration menu
    Copy the full SHA
    df327d6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into minor-scoped-label-display-tweaks

    @lunny
    lunny authored Mar 12, 2023
    Configuration menu
    Copy the full SHA
    9a71c34 View commit details
    Browse the repository at this point in the history