Skip to content

Set diff editor border to match regular editor border. #53931

Merged
joaomoreno merged 2 commits intomicrosoft:masterfrom
itamark:diff-editor-border
Jul 16, 2018
Merged

Set diff editor border to match regular editor border. #53931
joaomoreno merged 2 commits intomicrosoft:masterfrom
itamark:diff-editor-border

Conversation

@itamark
Copy link
Copy Markdown
Contributor

@itamark itamark commented Jul 10, 2018

Set diff editor border to match regular editor border.
Solves issue with no shadow showing no diff between editors.
Solves #53523

…ith no shadow showing no diff between editors.
@joaomoreno joaomoreno self-assigned this Jul 10, 2018
@joaomoreno joaomoreno added this to the Backlog milestone Jul 10, 2018
@joaomoreno joaomoreno added the diff-editor Diff editor issues label Jul 10, 2018
export const diffInsertedOutline = registerColor('diffEditor.insertedTextBorder', { dark: null, light: null, hc: '#33ff2eff' }, nls.localize('diffEditorInsertedOutline', 'Outline color for the text that got inserted.'));
export const diffRemovedOutline = registerColor('diffEditor.removedTextBorder', { dark: null, light: null, hc: '#FF008F' }, nls.localize('diffEditorRemovedOutline', 'Outline color for text that got removed.'));

export const diffBorder = registerColor('diffEditor.diffEditorBorder', { dark: '#444444', light: '#E7E7E7', hc: contrastBorder }, nls.localize('diffEditorBorder', 'Border color of separation between original and modified diff editors.'));
Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The description could be better written as 'Border color between the original and modified diff editors.'
What do you think?

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's a much better description! Done.

@sa-adebayo
Copy link
Copy Markdown

sa-adebayo commented Jul 12, 2018

You could adjust the PR description for those who want to know what was done at first glance.

Set diff editor border to match regular editor border. 
Solves issue with no shadow showing no diff between editors.
Solves [#53523](https://github.com/Microsoft/vscode/issues/53523)

Does it look clearer, if not please adjust.

@itamark itamark changed the title diff editor border set to match regular editor border. Solves issue w… Set diff editor border to match regular editor border. Jul 12, 2018
@joaomoreno joaomoreno modified the milestones: Backlog, July 2018 Jul 16, 2018
@joaomoreno
Copy link
Copy Markdown
Member

Thanks, renamed it to diffEditor.border. 🍻

@joaomoreno joaomoreno merged commit a13a7fa into microsoft:master Jul 16, 2018
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

diff-editor Diff editor issues

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants