Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #544 from brendan0powers/fix_highlighter_exception
Handle case where getCursor() returns null in highlighter
- Loading branch information