projects / idea / community.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 78b8142 3a723f9)
Merge branch 'open-terminal-here' of https://github.com/SomeoneToIgnore/intellij...
authorDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 21 Nov 2017 18:42:38 +0000 (19:42 +0100)
committerDmitry Trofimov <dmitry.trofimov@jetbrains.com>
Tue, 21 Nov 2017 18:42:38 +0000 (19:42 +0100)
1  2 
platform/platform-impl/src/com/intellij/openapi/wm/impl/ToolWindowImpl.java patch | diff1 | diff2 | blob | history

IntelliJ IDEA Community Edition and IntelliJ Platform.