directory_history_list 3606 src/filemanager/panel.c directory_history_list (panel); directory_history_list 4026 src/filemanager/panel.c directory_history_list (panel);