MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-04 23:39:07 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
2c8b118e3f2af97ddc9edcce3adc1032fb6e7c87
openide/plugins/terminal
History
Sergey Simonchik eb63f35ff3 terminal: use ConPTY (IDEA-225582) 
Enabled by default, can be disabled via "terminal.use.conpty.on.windows" registry key

GitOrigin-RevId: 46a841a65684bbc7ba2c8c55b6b33ce1dc465248
2021-10-17 21:39:38 +00:00
..
resources
…
src
terminal: use ConPTY (IDEA-225582)
2021-10-17 21:39:38 +00:00
tests/org/jetbrains/plugins/terminal
…
intellij.terminal.iml
…