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