Martin Sigloch
Martin Sigloch
This is an unofficial mirror of https://code.google.com/p/terminal-ide/ Please contact the maintainer (Spartacus Rex) about any issues.
Sorry @sfetome, this is unlikely to be fixed. I didn't use terminal-ide for quite some time and didn't see any update from [Spartacus Rex (the author)](http://www.spartacusrex.com/terminalide.htm) in the last three...
Yes, I think so 😕
I personally don't use it anymore and don't have enough time to support it for free. You can try to contact the original author at [spartacusrex.com](http://www.spartacusrex.com/contact.htm) but after 7 years...
I experience the same issue on Linux/Docker: Debian 11.1 rustc 1.56.1 (59eed8a2a 2021-11-01)