[[ RefactorSyntax ]] Fixes the selection issue when the mouse comes out of the left margin