I also recently found one more application: java terminal widget [JediTerm] (used by [trolCommander]). It comes from JetBrains and is hosted [here] on github.
But I don't think that would work either... [JediTerm]: https://www.opensourceagenda.com/projects/jediterm [here]: https://github.com/JetBrains/jediterm [trolCommander]: https://trolsoft.ru/en/soft/trolcommander#:~:text=programm%20based%20on-,JediTerm,-(F2%20hotkey -- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/675#issuecomment-1418519013 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/675/[email protected]>
