Skip to content

Conversation

@mrjacobbloom
Copy link
Contributor

@mrjacobbloom mrjacobbloom commented May 3, 2017

see #255

This is my implementation of block highlighting. I've added the changes people requested. Namely:

  • prettier highlighting for the blocks with rounded edges
  • highlight both at the same time
  • turn it on or off in the new View menu

all the commits from #258 got attached to this PR which is lame, but if you compare the branches the only changes are ones relevant to this PR

hl

mrjacobbloom added a commit that referenced this pull request May 5, 2017
@mrjacobbloom mrjacobbloom mentioned this pull request May 5, 2017
3 tasks
@mrjacobbloom
Copy link
Contributor Author

closing in favor of #263

@mrjacobbloom mrjacobbloom deleted the element-highlighting branch May 5, 2017 05:41
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.

4 participants