chiark / gitweb /
Make menu_update() robust against being called before the notebook has