Skip to content
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

Minor edits to add to conflictResolution tool #634

Open
mgorra opened this issue Jul 13, 2018 · 0 comments
Open

Minor edits to add to conflictResolution tool #634

mgorra opened this issue Jul 13, 2018 · 0 comments

Comments

@mgorra
Copy link
Collaborator

mgorra commented Jul 13, 2018

--Add a margin between the end of lines and the edge of their document.
--Change the popup location so they don't block apply buttons etc (this might conflict with standardization).
--Should just rejecting one side of a conflict count as handling it? (It currently does).
--Have the caret for the middle document point in between the two edges of the conflict, rather than at the line above/below it. This could be tricky, since the caret's library bases position on line.

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

No branches or pull requests

1 participant