ok_to_refresh     521 src/filemanager/filemanager.c         if (!nice_rotating_dash || (ok_to_refresh <= 0))
ok_to_refresh     107 src/filemanager/layout.c int ok_to_refresh = 1;
ok_to_refresh    1030 src/filemanager/layout.c         ok_to_refresh++;
ok_to_refresh    1032 src/filemanager/layout.c         ok_to_refresh--;
ok_to_refresh    1041 src/filemanager/layout.c     if (ok_to_refresh > 0)
ok_to_refresh    1056 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;