Logo
Explore Help
Register Sign In
MDS/openide
1
0
Fork 0
You've already forked openide
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-02-05 08:06:56 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
2e7f2f28b9abb41b5a74a7dfd831715ecdd8f3d7
openide/plugins/terminal
History
Vladimir Shefer 9424ef6d21 [terminal] IJPL-157400 Remove unused session field in ShellCommandManager
Trying to get rid of session as a god object

GitOrigin-RevId: e107405e332dfd6dd357a66d7eb93b0a11e5c34f
2024-08-27 18:45:48 +00:00
..
completion
[terminal] Mark ShellCommandExecutor Internal
2024-07-17 11:54:59 +00:00
resources
[terminal] IJPL-159651 Extract aliases as a separate generator
2024-08-26 16:45:55 +00:00
sh
[project structure] rename intellij.platform.localIde module to intellij.platform.monolith (RDCT-1417)
2024-07-05 14:24:51 +00:00
src/org/jetbrains/plugins/terminal
[terminal] IJPL-157400 Remove unused session field in ShellCommandManager
2024-08-27 18:45:48 +00:00
testResources/commandSpecs
…
tests/org/jetbrains/plugins/terminal
[terminal] IJPL-159651 Extract enum of provided integration functions
2024-08-26 16:45:55 +00:00
intellij.terminal.iml
[terminal] IJPL-157806 Completion telemetry
2024-07-19 15:38:03 +00:00
plugin-content.yaml
IJPL-159596 disable sorting - we must produce distribution order entries in a stable manner without sorting
2024-08-22 10:33:53 +00:00
Powered by Gitea Version: 1.25.4 Page: 1106ms Template: 42ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API