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-04-19 13:02:30 +07:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
88f5f288f9ba2b8588fe618fbbdf365a3f820b39
openide
/
plugins
/
terminal
History
Nikolay Chashnikov
4724d9248a
[terminal] API cleanup: remove unused deprecated API (IJPL-156972)
...
GitOrigin-RevId: 35eb2bf332ed48b2790c7b199b83374a4dd08490
2024-10-04 17:44:12 +00:00
..
completion
…
resources
[settings] IJPL-161945 "Settings | Tools" settings tabs are unsorted
2024-10-02 16:54:02 +00:00
sh
IJPL-150165 switch to invoke dynamic lambdas in Kotlin
2024-09-05 11:19:31 +00:00
src/org/jetbrains/plugins
/terminal
[terminal] API cleanup: remove unused deprecated API (IJPL-156972)
2024-10-04 17:44:12 +00:00
testResources
/commandSpecs
…
tests/org/jetbrains/plugins
/terminal
IJPL-159930 Wait for initial block finalization in tests
2024-09-24 14:28:55 +00:00
intellij.terminal.iml
extract intellij.platform.ide.internal
2024-10-03 19:22:03 +00:00
plugin-content.yaml
…
