chiark / gitweb /
Make menu_update() robust against being called before the notebook has
authorRichard Kettlewell <rjk@greenend.org.uk>
Fri, 6 Jun 2008 16:30:19 +0000 (17:30 +0100)
committerRichard Kettlewell <rjk@greenend.org.uk>
Fri, 6 Jun 2008 16:30:19 +0000 (17:30 +0100)
been created.


No differences found