other_widget      291 src/filemanager/info.c     Widget *other_widget;
other_widget      293 src/filemanager/info.c     other_widget = get_panel_widget (get_current_index ());
other_widget      294 src/filemanager/info.c     if (!other_widget)
other_widget      296 src/filemanager/info.c     if (widget_overlapped (WIDGET (info), other_widget))