directory_history_prev 3712 src/filemanager/panel.c directory_history_prev (panel); directory_history_prev 4100 src/filemanager/panel.c directory_history_prev (panel);