projects / idea / community.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5aeed20) | patch
hide last tab in main window only
authorDennis Ushakov <dennis.ushakov@gmail.com>
Fri, 27 Jan 2012 08:15:34 +0000 (12:15 +0400)
committerDennis Ushakov <dennis.ushakov@gmail.com>
Fri, 27 Jan 2012 08:15:34 +0000 (12:15 +0400)
commitc19b9228034f7c0e7da344dc79190f6b589951b9
treedce84fa962022fbf3101120d37e8c45929a51b36tree
parent5aeed20e95b995b1498368487922bd733183f528commit | diff
hide last tab in main window only
platform/lang-impl/src/com/intellij/execution/ui/layout/impl/RunnerContentUi.java diff | blob | history
IntelliJ IDEA Community Edition and IntelliJ Platform.