traff/jediterm — pull request #34 by Plonk42 (2013-07-23 12:28:48+00:00)
Title: Double-click selection improvement

Better handling of separators selection.
Fix an issue when a word is ending right at the term right margin.