display_mini_info 2951 src/filemanager/panel.c display_mini_info (panel); display_mini_info 2970 src/filemanager/panel.c display_mini_info (panel); display_mini_info 3876 src/filemanager/panel.c display_mini_info (panel);