This repository has been archived on 2020-04-04. You can view files and clone it, but you cannot make any changes to it's state, such as pushing and creating new issues, pull requests or comments.

Cornelius Matějka e7dcd7f500 Pinned tabs are not closeable by 'd' ... Added binding 'DD' to force tab close which also closes pinned tabs		2018-01-14 17:19:02 +01:00
..
command.js
index.js
operation.js	Pinned tabs are not closeable by 'd'	2018-01-14 17:19:02 +01:00
setting.js
tab.js