I don't know enough about terminals to judge how feasible or easy it is, but if anyone does, please chime in here:
https://github.com/oilshell/oil/issues/908
I don't know enough about terminals to judge how feasible or easy it is, but if anyone does, please chime in here:
https://github.com/oilshell/oil/issues/908