display_mini_info 2896 src/filemanager/panel.c display_mini_info (panel); display_mini_info 2915 src/filemanager/panel.c display_mini_info (panel); display_mini_info 3806 src/filemanager/panel.c display_mini_info (panel);