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

change padding to margin to diminish caret focus #350

Merged
merged 1 commit into from Oct 15, 2018

Conversation

Projects
None yet
2 participants
@vanesa
Member

vanesa commented Oct 10, 2018

change padding to margin to diminish caret focus, fix sourcegraph/enterprise#13214

This PR does not need to update the CHANGELOG because it's a minor design fix.

@vanesa vanesa requested a review from felixfbecker as a code owner Oct 10, 2018

@codecov-io

This comment has been minimized.

Show comment
Hide comment
@codecov-io

codecov-io Oct 10, 2018

Codecov Report

Merging #350 into master will decrease coverage by 0.01%.
The diff coverage is n/a.

Impacted Files Coverage Δ
cmd/gitserver/server/cleanup.go 63.72% <0%> (-1.48%) ⬇️

codecov-io commented Oct 10, 2018

Codecov Report

Merging #350 into master will decrease coverage by 0.01%.
The diff coverage is n/a.

Impacted Files Coverage Δ
cmd/gitserver/server/cleanup.go 63.72% <0%> (-1.48%) ⬇️

@vanesa vanesa merged commit 53da0e9 into master Oct 15, 2018

2 checks passed

buildkite/sourcegraph Build #21668 passed (4 minutes, 23 seconds)
Details
cla-bot Changes do not require CLA submission

@vanesa vanesa deleted the vo/file-tree-caret-focus branch Oct 15, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment