fix checkbox toggling with mouse for custom CheckBoxList implementations (e.g. one...
authorSergey Simonchik <sergey.simonchik@jetbrains.com>
Tue, 22 Dec 2015 14:29:11 +0000 (17:29 +0300)
committerSergey Simonchik <sergey.simonchik@jetbrains.com>
Tue, 22 Dec 2015 14:29:33 +0000 (17:29 +0300)
commitf3e3ea3ed9ce1b9b47aa230123124039dc63cd87
tree4d53f5488177e800da806403749ae0bfce4718f6
parent396fd9f86b08a6f20eae28743b67c94070320d18
fix checkbox toggling with mouse for custom CheckBoxList implementations (e.g. one used in "Settings | Editor | General | Gutter Icons") (IDEA-CR-7586)
platform/lang-impl/src/com/intellij/application/options/editor/GutterIconsConfigurable.java
platform/platform-api/src/com/intellij/ui/CheckBoxList.java