ok_to_refresh     532 src/filemanager/filemanager.c         if (!nice_rotating_dash || (ok_to_refresh <= 0))
ok_to_refresh     106 src/filemanager/layout.c int ok_to_refresh = 1;
ok_to_refresh    1038 src/filemanager/layout.c         ok_to_refresh++;
ok_to_refresh    1040 src/filemanager/layout.c         ok_to_refresh--;
ok_to_refresh    1049 src/filemanager/layout.c     if (ok_to_refresh > 0)
ok_to_refresh    1064 src/filemanager/layout.c     if (!nice_rotating_dash || (ok_to_refresh <= 0))
ok_to_refresh      51 src/filemanager/layout.h extern int ok_to_refresh;