use UIUtil.getHTMLEditorKit() as it's more HiDPI&darcula friendly
authorSergey Simonchik <sergey.simonchik@jetbrains.com>
Thu, 29 Sep 2016 14:07:26 +0000 (17:07 +0300)
committerSergey Simonchik <sergey.simonchik@jetbrains.com>
Thu, 29 Sep 2016 14:07:50 +0000 (17:07 +0300)
commit6d0694d38c98b5b4218e3717c0c26e73e108b09f
tree816eaa8a9cbbdbb5d86e6f68272a6044fe5fd189
parentd9daa533c1bcde9140c42d986e9665a6eefd9341
use UIUtil.getHTMLEditorKit() as it's more HiDPI&darcula friendly
platform/platform-api/src/com/intellij/openapi/ui/Messages.java