widget_set_options  314 lib/widget/menu.c     widget_set_options (w, WOP_SELECTABLE, FALSE);
widget_set_options  947 lib/widget/menu.c     widget_set_options (w, WOP_SELECTABLE, FALSE);
widget_set_options 1061 lib/widget/menu.c         widget_set_options (w, WOP_SELECTABLE, TRUE);
widget_set_options   19 lib/widget/widget-common.h #define widget_want_cursor(w,i) widget_set_options(w, WOP_WANT_CURSOR, i)
widget_set_options   20 lib/widget/widget-common.h #define widget_want_hotkey(w,i) widget_set_options(w, WOP_WANT_HOTKEY, i)
widget_set_options   21 lib/widget/widget-common.h #define widget_want_tab(w,i) widget_set_options(w, WOP_WANT_TAB, i)
widget_set_options  186 lib/widget/widget-common.h void widget_set_options (Widget * w, widget_options_t options, gboolean enable);
widget_set_options  471 src/filemanager/command.c     widget_set_options (w, WOP_SELECTABLE, FALSE);