Skip to content

Conversation

@mrjacobbloom
Copy link
Contributor

All the changes you loved about #262, now without the extra commits!

This implements the highlighting from #255 with some improvements:

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

hl

@mrjacobbloom mrjacobbloom mentioned this pull request May 5, 2017
3 tasks
@PullJosh PullJosh removed their request for review July 5, 2024 14:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants