set_menu_sensitivity_old() is now only used for the main menu; simplify
authorguy <guy@f5534014-38df-0310-8fa8-9805f1628bb7>
Fri, 8 Oct 2010 02:17:37 +0000 (02:17 +0000)
committerguy <guy@f5534014-38df-0310-8fa8-9805f1628bb7>
Fri, 8 Oct 2010 02:17:37 +0000 (02:17 +0000)
commit93c98ca21312e6c6320d8ca8f5f0a48a6ce72aa6
tree201cba29f32350213d2a7d04f7f14aa6c3bdbed5
parent86b06173e48f5a8201d913cd8f8a3c4964764c23
set_menu_sensitivity_old() is now only used for the main menu; simplify
it accordingly.

git-svn-id: http://anonsvn.wireshark.org/wireshark/trunk@34427 f5534014-38df-0310-8fa8-9805f1628bb7
gtk/menus.c