Skip to content

Expose diff editor border color #53523

Closed
Closed
Expose diff editor border color#53523
Labels
diff-editorDiff editor issuesfeature-requestRequest for new features or functionalitygood first issueIssues identified as good for first-time contributorshelp wantedIssues identified as good community contribution opportunitiesthemesColor theme issuesverification-neededVerification of issue is requestedverifiedVerification succeeded
Milestone
September 2018
@joaomoreno

Description

@joaomoreno
joaomoreno
opened on Jul 4, 2018

We need a theme color for the diff editor border between the two editors. Currently, the separation happens due to the shadow only... which a theme can define to be really nuanced...

image

Metadata

Metadata

Assignees

No one assigned

    Labels

    diff-editorDiff editor issuesfeature-requestRequest for new features or functionalitygood first issueIssues identified as good for first-time contributorshelp wantedIssues identified as good community contribution opportunitiesthemesColor theme issuesverification-neededVerification of issue is requestedverifiedVerification succeeded

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions