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.

Sign up for GitHub

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

Jump to bottom

Added options to change background and border colors of highlighting #17

Closed
wants to merge 2 commits into from
Closed

Added options to change background and border colors of highlighting #17

wants to merge 2 commits into from

Conversation

yustnip
Copy link

@yustnip yustnip commented Jun 4, 2018 •
edited
Loading

To implement #12

@yustnip yustnip changed the title Added an option to change background and border colors of highlighting Added options to change background and border colors of highlighting Jun 9, 2018
@shardulm94
Copy link
Owner

shardulm94 commented Mar 29, 2019 •
edited
Loading

Hi thanks for this PR! I had refactored the extension heavily in the develop branch before checking this. So I decided to create 7ead91f copying these changes rather than merging directly. Going to close this one.

@shardulm94 shardulm94 closed this Mar 29, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@yustnip @shardulm94