https://www.orchest.io/ logo
r

Rick Lamers

01/08/2021, 8:51 PM
Awesome contrib from https://github.com/obulat: https://github.com/orchest/orchest/pull/108 We now have proper backspace + delete keyboard support. How convenient!
😀 1
2 Views