Comment Comment by jen20 Aha, I wondered why the JetBrains terminals had become so much better recently. Didn't realize they'd made the switch. parent jen20 13 days ago
