JetBrains/jediterm — pull request #72 by Plonk42 (2013-10-17 17:12:26+00:00)
Title: Deactivate mouse selection when mouse reporting is activated

In MC for example, when double-clicking to open a directory, the area where the directory name was displayed is then selected.

This patch disable selection when mouse reporting is activated, fixing this unwanted behavior.