diff options
author | Guy Harris <guy@alum.mit.edu> | 2010-10-08 02:17:37 +0000 |
---|---|---|
committer | Guy Harris <guy@alum.mit.edu> | 2010-10-08 02:17:37 +0000 |
commit | 186ad7c299bcc87c4f313aff196e761a2f0050ad (patch) | |
tree | 201cba29f32350213d2a7d04f7f14aa6c3bdbed5 /gtk/gui_utils.h | |
parent | fae45ea6a1b7401fb13edf91bf7eb6bf683a13ab (diff) |
set_menu_sensitivity_old() is now only used for the main menu; simplify
it accordingly.
svn path=/trunk/; revision=34427
Diffstat (limited to 'gtk/gui_utils.h')
0 files changed, 0 insertions, 0 deletions