-
Sjoerd Simons authored
In certain cases the menu label of a notebook page will be reused after the page was removed from the notebook, for instance when a page is dragged from one notebook to another. For such cases make sure that the menu label isn't destroyed as part of destroying the menu item it was in.
177973bd