Skip to content

New reference panel: bump font sizes, add dividers

Warren Gifford requested to merge mrn/more-ref-panel-polish into main

Created by: mrnugget

This implements @jjinnii's suggestions in https://github.com/sourcegraph/sourcegraph/issues/34201#issuecomment-1110283086 by

  • changing font size of repository name and file name
  • adding dividers between file results and repository groups

Left: before, right: after

screenshot_2022-04-28_10 07 07@2x

Test plan

  • Existing tests

App preview:

Check out the client app preview documentation to learn more.

Merge request reports

Loading