display_mini_info 2875 src/filemanager/panel.c         display_mini_info (panel);
display_mini_info 2894 src/filemanager/panel.c     display_mini_info (panel);
display_mini_info 3829 src/filemanager/panel.c         display_mini_info (panel);