pdif 1874 src/filemanager/panel.c int pdif = 0; pdif 1878 src/filemanager/panel.c while (dif != 0 && pdif != dif) pdif 1880 src/filemanager/panel.c pdif = dif;