directory_history_list 3706 src/filemanager/panel.c directory_history_list (panel); directory_history_list 4106 src/filemanager/panel.c directory_history_list (panel);