chiark / gitweb /
Fix edit menu (and simplify its implementation a bit).
[disorder] / images / edit.png
images/edit.png