chiark / gitweb /
Make menu_update() robust against being called before the notebook has
[disorder] / images / nocross.png
2007-01-23 rjk@greenend.org.ukImport from Arch revision: