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
author Guido Berhoerster <>
date Thu Apr 08 11:22:24 2021 +0200 (18 months ago)
parents f3033ed6e7b1
children a989d7edee02
line source
1 68114ae7d8b739aba184ab308f30890be9dc76c7 version-1
2 4279427b4f1acee40f63cec52615667f9cb68f2f version-2
3 a003955c8b23a135a4ab9fa6e34c3df6003b8bf8 version-3
4 288f880882c55149d2c4ec81b2d0ceb4947bfce0 version-4
5 cb06734b3a7ba5e6f28751c27629011d1fe808a5 version-5
6 b5cf923727b745240a87ab9f42e58c4a6a048517 version-6
7 fa504a211b26353a8851f0a91b9ea7b976edfe39 version-7
8 b1b1f273724970160b1a79c1dad629f4b65bf561 version-8