Please add the ability to rename tabs so we don't have a user@machine + filepath. I noticed that Zed had this feature. Muchas gracias.
Please add the ability to rename tabs so we don't have a user@machine + filepath. I noticed that Zed had this feature.
Muchas gracias.