display_mini_info 2833 src/filemanager/panel.c display_mini_info (panel); display_mini_info 2852 src/filemanager/panel.c display_mini_info (panel); display_mini_info 3783 src/filemanager/panel.c display_mini_info (panel);