Use "inside" marker invalidation strategy
Fix strange appearance of non-related tooltips on modification
Update highlight position according to the change of violation position
Workaround for a bug in EditorView::pixelPositionForScreenPosition
Optimize highlight repositioning on modification to avoid UI freeze
Rename ivars in ViolationView
Update gutter markers according to the current violation positions
Handle current violation positions in "Move to Next/Previous Violation"
Display gutter markers only for valid violations
Add changelog entry
Merge branch 'modification-tracking'