other_widget      317 src/filemanager/info.c     Widget *other_widget;
other_widget      319 src/filemanager/info.c     other_widget = get_panel_widget (get_current_index ());
other_widget      320 src/filemanager/info.c     if (!other_widget)
other_widget      322 src/filemanager/info.c     if (widget_overlapped (WIDGET (info), other_widget))