hotlist_widget    756 src/filemanager/hotlist.c     Widget *hotlist_widget;
hotlist_widget    784 src/filemanager/hotlist.c     hotlist_widget = WIDGET (hotlist_group);
hotlist_widget    785 src/filemanager/hotlist.c     group_add_widget_autopos (g, hotlist_widget, WPOS_KEEP_ALL, NULL);
hotlist_widget    788 src/filemanager/hotlist.c         listbox_new (y + 1, UX + 1, hotlist_widget->rect.lines - 2, hotlist_widget->rect.cols - 2,
hotlist_widget    806 src/filemanager/hotlist.c     y += hotlist_widget->rect.lines;
hotlist_widget    808 src/filemanager/hotlist.c     path_box = groupbox_new (y, UX, 3, hotlist_widget->rect.cols, _("Directory path"));