projects
/
idea
/
community.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
combined
(merge:
78b8142
3a723f9
)
Merge branch 'open-terminal-here' of https://github.com/SomeoneToIgnore/intellij...
author
Dmitry Trofimov
<dmitry.trofimov@jetbrains.com>
Tue, 21 Nov 2017 18:42:38 +0000
(19:42 +0100)
committer
Dmitry 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
diff --cc
platform/platform-impl/src/com/intellij/openapi/wm/impl/ToolWindowImpl.java
Simple merge