other_widget      318 src/filemanager/info.c     Widget *other_widget;
other_widget      320 src/filemanager/info.c     other_widget = get_panel_widget (get_current_index ());
other_widget      321 src/filemanager/info.c     if (!other_widget)
other_widget      323 src/filemanager/info.c     if (widget_overlapped (WIDGET (info), other_widget))