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.

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

layout: make resizer smaller #5390

Merged
merged 2 commits into from
Oct 28, 2021
Merged

Commits on Oct 28, 2021

  1. layout: make resizer smaller

    Previously, we used to have a little icon and thick vertical bar to make
    resize affordance apparent on the left pane resizer. After surveying
    modern apps, it looks like they are often done with pointer in
    combination with thicker vertical bar on hover so we adopt those
    designs.
    
    In the end, with this change, we give users about 18 pixels back in the
    horizontal space.
    stephanwlee committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    045cab5 View commit details
    Browse the repository at this point in the history
  2. expansion button which is different than resize bar still renders icon

    so it needs to have width set.
    stephanwlee committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    25c67c4 View commit details
    Browse the repository at this point in the history