directory_history_prev 3612 src/filemanager/panel.c directory_history_prev (panel); directory_history_prev 4020 src/filemanager/panel.c directory_history_prev (panel);