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