directory_history_prev 3642 src/filemanager/panel.c directory_history_prev (panel); directory_history_prev 4023 src/filemanager/panel.c directory_history_prev (panel);