JetBrains/intellij-community — pull request #158 by vkravets (2014-03-04 13:19:26+00:00)
Title: SettingsChangeListener implementation

Propose of improvment of Plugin API, to be able to detect any settings
change in the idea from plugin.

http://devnet.jetbrains.com/message/5510639