patch: black holes in menu navigation

[Patrick Lam]

This fixes the bug I reported a few days ago (1288).

Index: src/af/ev/unix/ev_UnixMenu.cpp
===================================================================
RCS file: /cvsroot/abi/src/af/ev/unix/ev_UnixMenu.cpp,v
retrieving revision 1.62
diff -r1.62 ev_UnixMenu.cpp
712a713
>                       gtk_widget_set_sensitive(w, FALSE);