display_mini_info 2837 src/filemanager/panel.c display_mini_info (panel); display_mini_info 2856 src/filemanager/panel.c display_mini_info (panel); display_mini_info 3787 src/filemanager/panel.c display_mini_info (panel);