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 2025-12-15 02:59:33 +07:00
Code Issues Packages Projects Releases Wiki Activity
Files
c9d7ce3a9cef69103ba18261c7e79c894ea85784
openide/plugins/terminal
History
Konstantin Hudyakov 60cd5af09c [terminal] IJPL-192529 Update secondsSinceLastControllerActivity on any activity in the terminal backend
(cherry picked from commit 9f12ea2cae8815fe4741a6f1eb8bf2b3f12773cc)

IJ-CR-166298

GitOrigin-RevId: 1e0c02408f1761e7cbaebf7df5115969e52adeae
2025-06-20 14:36:31 +00:00
..
backend
[terminal] IJPL-192529 Update secondsSinceLastControllerActivity on any activity in the terminal backend
2025-06-20 14:36:31 +00:00
completion
…
frontend
[terminal] IJPL-192386 Add an ability to get terminal text from the TerminalWidget
2025-06-19 12:21:39 +00:00
resources
[terminal] add generic file path filter
2025-06-16 23:17:13 +00:00
sh
IJ-MR-162467 don't export intellij.platform.core
2025-06-13 21:52:48 +00:00
src/org/jetbrains/plugins/terminal
[terminal] IJPL-192424 Make API for checking terminal engine public
2025-06-19 12:21:39 +00:00
testResources/commandSpecs
[terminal] IJPL-190407, RUBY-23411 restore customizing Zsh session after loading all Zsh startup configuration files
2025-06-04 11:38:45 +00:00
tests/org/jetbrains/plugins/terminal
[terminal] IJPL-183165 increase timeout and more verbose failure message
2025-06-13 23:37:11 +00:00
BUILD.bazel
IJ-MR-162467 don't export intellij.platform.projectModel
2025-06-14 13:00:48 +00:00
intellij.terminal.iml
IJ-MR-162467 don't export intellij.platform.projectModel
2025-06-14 13:00:48 +00:00
plugin-content.yaml
…
Powered by Gitea Version: 1.25.2 Page: 1633ms Template: 96ms
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