pdif 1928 src/filemanager/panel.c int pdif = 0; pdif 1932 src/filemanager/panel.c while (dif != 0 && pdif != dif) pdif 1934 src/filemanager/panel.c pdif = dif;