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

Ensure collapsed mergepane border #731

Merged
merged 15 commits into from
Nov 10, 2023
Merged

Commits on Nov 6, 2023

  1. Configuration menu
    Copy the full SHA
    2f377f4 View commit details
    Browse the repository at this point in the history
  2. Ensure collapsed mergepane border

    After switching to grid based layout, each pane had its own border.
    With 0px gap, the border still did not collapse to single 1px border,
    so instead we switch to using gap + background-color.
    
    C.f. https://stackoverflow.com/questions/47882924/preventing-double-borders-in-css-grid
    vidartf committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    7a97063 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    9cba86d View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    9695b00 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    f718b7b View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    e56e9fa View commit details
    Browse the repository at this point in the history
  7. Configuration menu
    Copy the full SHA
    1240161 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    afbfc31 View commit details
    Browse the repository at this point in the history

Commits on Nov 8, 2023

  1. Tweak styles to resemble previous version

    Now borders are more similar to that of previous version,
    except double borders are avoided if possible.
    vidartf committed Nov 8, 2023
    Configuration menu
    Copy the full SHA
    4c853a6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    4fb6c35 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6519f67 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Update packages/nbdime/src/styles/common.css

    Co-authored-by: Michał Krassowski <[email protected]>
    vidartf and krassowski authored Nov 10, 2023
    Configuration menu
    Copy the full SHA
    242b79e View commit details
    Browse the repository at this point in the history
  2. Tweak styles for border some more

    Including fixing a broken style that used a private variable.
    vidartf committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    51fda22 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    d96d106 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    8ddfd5b View commit details
    Browse the repository at this point in the history