scala-ide/scala-ide — pull request #122 by dragos (2012-06-15 15:38:07+00:00)
Title: Add configuration for editor 'surround selection' feature. 

Each character can be individually enabled. By default they are off.

Fixes #1001034