diff options
author | Guy Harris <guy@alum.mit.edu> | 2004-08-16 06:24:17 +0000 |
---|---|---|
committer | Guy Harris <guy@alum.mit.edu> | 2004-08-16 06:24:17 +0000 |
commit | 605293cc764d8458ba7caa34f3a0061bcd22011c (patch) | |
tree | def2d891d11a1097ecc3fbbb78afae187b604d17 /gtk/gui_prefs.c | |
parent | 97e73c43e941d0d727f81690883af0d4d4c21cf7 (diff) |
Get rid of unused enum_val_t table (the wrap vs. no-wrap in search flag
is a Boolean, not an enum).
svn path=/trunk/; revision=11749
Diffstat (limited to 'gtk/gui_prefs.c')
-rw-r--r-- | gtk/gui_prefs.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/gtk/gui_prefs.c b/gtk/gui_prefs.c index cbbd7840be..bb4e3988b8 100644 --- a/gtk/gui_prefs.c +++ b/gtk/gui_prefs.c @@ -130,12 +130,6 @@ static const enum_val_t highlight_style_vals[] = { }; -static const enum_val_t find_wrap_vals[] = { - { "FALSE", "No Wrap", FALSE }, - { "TRUE", "Wrap", TRUE }, - { NULL, NULL, 0 } -}; - static const enum_val_t toolbar_style_vals[] = { { "ICONS", "Icons only", TB_STYLE_ICONS }, { "TEXT", "Text only", TB_STYLE_TEXT }, |