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...
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.