chiark / gitweb /
Set edit menu sensitivity when it is shown rather than when we change tab.