Skip to content

Conversation

@arthurspa
Copy link

@arthurspa arthurspa commented May 21, 2018

This PR is implementing suggestion made in #71.

@nickbnf I refactored code and tested on my Linux machine. Everything is working fine.

@arthurspa arthurspa changed the title Renaming "Filters" to "Highlighters" #71 Renaming "Filters" to "Highlighters" May 21, 2018
@arthurspa arthurspa changed the title Renaming "Filters" to "Highlighters" Refactoring "Filters" -> "Highlighters" May 21, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant