annotate .hgtags @ 12:e32b90567f39

Update menu when reopening a tab Creating a tab changes the focused tab in the destination window, thus the menu item representing the destination window needs to be updated.
author Guido Berhoerster <guido+tab-mover@berhoerster.name>
date Mon, 20 Feb 2017 18:07:00 +0100
parents 7b9766eb014f
children fd00d1a952c0
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
60b865b8f86e Added tag version-1 for changeset 68114ae7d8b7
Guido Berhoerster <guido+tab-mover@berhoerster.name>
parents:
diff changeset
1 68114ae7d8b739aba184ab308f30890be9dc76c7 version-1
5
c54a7267e686 Added tag version-2 for changeset 4279427b4f1a
Guido Berhoerster <guido+tab-mover@berhoerster.name>
parents: 2
diff changeset
2 4279427b4f1acee40f63cec52615667f9cb68f2f version-2
9
7b9766eb014f Added tag version-3 for changeset a003955c8b23
Guido Berhoerster <guido+tab-mover@berhoerster.name>
parents: 5
diff changeset
3 a003955c8b23a135a4ab9fa6e34c3df6003b8bf8 version-3