scala-ide/scala-ide — pull request #844 by sschaef (2014-10-22 08:50:52+00:00)
Title: Restore correct selection when region changed at end of selection

Fixes #1002314