scala-ide/scala-ide — pull request #661 by dragos (2014-03-26 10:22:52+00:00)
Title: Remove preference store listener on deactivation

The listener would try to redraw a disposed widget on preference changes, even after
the editor was closed.