Default Settings panel patches

redpen-cc / redpen-intellij-plugin

RedPen plugin for Intellij IDEA and other JetBrains IDEs

https://plugins.jetbrains.com/plugin/8210

Apache License 2.0

18 stars 1 forks source link

Default Settings panel patches #9

Closed alterakey closed 8 years ago

alterakey commented 8 years ago

Hello, I've tried to patch up the exception occurs on opening the default settings panel. This PR intends to resolve #8. Please review and hopefully merge. Thanks. -t

takahi-i commented 8 years ago

LGTM