Searched refs:m_robotExtraTimeSeconds (Results 1 – 3 of 3) sorted by relevance
62 int robotExtraTime() const { return m_robotExtraTimeSeconds; } in robotExtraTime()72 int m_robotExtraTimeSeconds; variable
39 , m_robotExtraTimeSeconds(0) in MiniBrowserApplication()93 m_robotExtraTimeSeconds = takeOptionValue(&args, robotExtraTimeIndex).toInt(); in handleUserOptions()
118 int robotExtraTime() const { return m_robotExtraTimeSeconds; } in robotExtraTime()127 int m_robotExtraTimeSeconds; member in LauncherApplication146 , m_robotExtraTimeSeconds(0) in LauncherApplication()321 m_robotExtraTimeSeconds = takeOptionValue(&args, robotExtraTimeIndex).toInt(); in handleUserOptions()