ok_to_refresh     538 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    1040 src/filemanager/layout.c         ok_to_refresh++;
ok_to_refresh    1042 src/filemanager/layout.c         ok_to_refresh--;
ok_to_refresh    1051 src/filemanager/layout.c     if (ok_to_refresh > 0)
ok_to_refresh    1066 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;