pdif             1837 src/filemanager/panel.c         int pdif = 0;
pdif             1841 src/filemanager/panel.c         while (dif != 0 && pdif != dif)
pdif             1843 src/filemanager/panel.c             pdif = dif;