directory_history_list 3610 src/filemanager/panel.c directory_history_list (panel); directory_history_list 4030 src/filemanager/panel.c directory_history_list (panel);