comparison Makefile @ 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 a003955c8b23
children e4391e12b799
comparison
equal deleted inserted replaced
11:5d7914307782 12:e32b90567f39