Lines Matching full:maxscopingduration
1633 const double maxScopingDuration = 0.1; // seconds1706 timedOut = (currentTime() - startTime) >= maxScopingDuration;