chiark / gitweb /
Fix edit menu (and simplify its implementation a bit).