widget_set_options  317 lib/widget/menu.c     widget_set_options (w, WOP_SELECTABLE, FALSE);
widget_set_options  954 lib/widget/menu.c     widget_set_options (w, WOP_SELECTABLE, FALSE);
widget_set_options 1069 lib/widget/menu.c         widget_set_options (w, WOP_SELECTABLE, TRUE);
widget_set_options   20 lib/widget/widget-common.h #define widget_want_cursor(w,i) widget_set_options(w, WOP_WANT_CURSOR, i)
widget_set_options   21 lib/widget/widget-common.h #define widget_want_hotkey(w,i) widget_set_options(w, WOP_WANT_HOTKEY, i)
widget_set_options   22 lib/widget/widget-common.h #define widget_want_tab(w,i) widget_set_options(w, WOP_WANT_TAB, i)
widget_set_options  206 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);