pdif 1929 src/filemanager/panel.c int pdif = 0; pdif 1933 src/filemanager/panel.c while (dif != 0 && pdif != dif) pdif 1935 src/filemanager/panel.c pdif = dif;