Hi Andy, Thanks for the feature requests, some of which seem easy to realize; I’ll have a look soon.
> * more tab close options. E.g "close all", "close others" This may not be the most elegant option, but you can usually press down Ctrl-W until all tabs are closed. Cheers, Christian
