pull-requests icon indicating copy to clipboard operation
pull-requests copied to clipboard

Published 20 hours ago • verified publisher icon jupyterlab

File diff style enhancements

Open fcollonval opened this issue 4 years ago • 0 comments

  • the file diff
    • the big popout boxes look good in the file view
    • i feel like the extra-thick blue lines coming out of the plus could be just a single pixel thick, and probably not jp-brand-color0 all the time

Originally posted by @bollwyvl in https://github.com/jupyterlab/pull-requests/issues/16#issuecomment-791439670

fcollonval avatar Mar 08 '21 08:03 fcollonval