Fix interference between selection highlighting and find/ replace
Allow tab switching by pressing Alt+Left/ Alt+Right
Bump to 1.3.1
Merge remote-tracking branch 'upstream/master'