IDEs Support (IntelliJ Platform) | JetBrains

Dgallmeier

Total activity 3
Last activity May 18, 2018 20:35
Member since May 18, 2018 20:31
Following 0 users
Followed by 0 users
Votes 1
Subscriptions 1

Dgallmeier commented, May 18, 2018 20:34
You could have an option for pinned tabs: once an output tab is pinned, output from the editor that sent results to it will continue to update that output tab. So for split-results, you would pin y...
- 0 votes