This website requires JavaScript.
Explore
Help
Register
Sign In
MDS
/
openide
Watch
1
Star
0
Fork
0
You've already forked openide
mirror of
https://gitflic.ru/project/openide/openide.git
synced
2026-01-06 03:21:12 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
0011aa6fd9d9e255e652480e9f45c1ffaed0b749
openide
/
plugins
/
terminal
History
Sergey Simonchik
e784ae3345
terminal: do not clear buffer on starting each command (IDEA-320809)
...
GitOrigin-RevId: c44a6a0926507ecfde8d460f98bbfa882b4a04b5
2023-06-15 18:56:22 +00:00
..
resources
terminal: do not clear buffer on starting each command (IDEA-320809)
2023-06-15 18:56:22 +00:00
src
terminal: add more commands to
known-commands.txt
in attempt to reduce amount of "No data" events
2023-06-15 17:42:40 +00:00
tests/org/jetbrains/plugins
/terminal
clarify error message
2023-06-06 13:04:18 +00:00
intellij.terminal.iml
…