fixed getIntProperty replacement
authorEgor.Ushakov <egor.ushakov@jetbrains.com>
Wed, 2 Mar 2016 17:57:35 +0000 (20:57 +0300)
committerEgor.Ushakov <egor.ushakov@jetbrains.com>
Wed, 2 Mar 2016 17:57:35 +0000 (20:57 +0300)
commit1537f966595d7faebf859fe300053c0c978578f8
tree8dee6a8d8ed99e2413b3bbb22a6f5d2c25908fbd
parent48577f06dc301d85c636ffd2ccbef0ab662d67e7
fixed getIntProperty replacement
platform/lang-impl/src/com/intellij/execution/impl/ConsoleBuffer.java