directory_history_list 3636 src/filemanager/panel.c directory_history_list (panel); directory_history_list 4029 src/filemanager/panel.c directory_history_list (panel);