get rid of empty space when a smaller tab selected
authorSergey Simonchik <sergey.simonchik@jetbrains.com>
Wed, 4 May 2016 15:25:17 +0000 (18:25 +0300)
committerSergey Simonchik <sergey.simonchik@jetbrains.com>
Wed, 4 May 2016 15:25:17 +0000 (18:25 +0300)
commita1bb1795a334db5a9486370e39c1356ec8ec504d
tree33672ebd0fc82a3e5758a85d413c2a91887d0d68
parente2565897553d0845aa45de06846df65dbe1732cd
get rid of empty space when a smaller tab selected
platform/lang-impl/src/com/intellij/execution/impl/ConfigurationSettingsEditor.java
platform/lang-impl/src/com/intellij/execution/ui/AdjustingTabSettingsEditor.java [new file with mode: 0644]