view .hgtags @ 32:aaed574396b8

Move pinned tabs correctly Pinned tabs need to be handled separately, the must either be moved before or after other pinned tabs or to index 0. The built-in behavior of the "Move to New Window" action is to unpin tabs. Follow this behavior for consistency. Furthermore, active, pinned tabs are not marked as active. Handle this case as well.
author Guido Berhoerster <guido+tab-mover@berhoerster.name>
date Thu, 08 Apr 2021 11:22:24 +0200
parents 834e58df10da
children a989d7edee02
line wrap: on
line source

68114ae7d8b739aba184ab308f30890be9dc76c7 version-1
4279427b4f1acee40f63cec52615667f9cb68f2f version-2
a003955c8b23a135a4ab9fa6e34c3df6003b8bf8 version-3
288f880882c55149d2c4ec81b2d0ceb4947bfce0 version-4
cb06734b3a7ba5e6f28751c27629011d1fe808a5 version-5
b5cf923727b745240a87ab9f42e58c4a6a048517 version-6
fa504a211b26353a8851f0a91b9ea7b976edfe39 version-7
b1b1f273724970160b1a79c1dad629f4b65bf561 version-8