Closed rubenthoms closed 1 year ago
Improve working directory selector such that it only shows directories. Furthermore, add scrolling and improve overall experience with it (test it more thoroughly).
Fixed in #48.
Improve working directory selector such that it only shows directories. Furthermore, add scrolling and improve overall experience with it (test it more thoroughly).