pdif 1797 src/filemanager/panel.c int pdif = 0; pdif 1801 src/filemanager/panel.c while (dif != 0 && pdif != dif) pdif 1803 src/filemanager/panel.c pdif = dif;