From 428e5a8807e3526f795188e9863bac1b52fc9ec5 Mon Sep 17 00:00:00 2001 From: Thibault Duplessis Date: Thu, 14 Mar 2024 09:44:15 +0100 Subject: [PATCH] more ceval search time options --- ui/ceval/src/view/settings.ts | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/ui/ceval/src/view/settings.ts b/ui/ceval/src/view/settings.ts index caf639e1cb30..904f6d66834b 100644 --- a/ui/ceval/src/view/settings.ts +++ b/ui/ceval/src/view/settings.ts @@ -10,9 +10,13 @@ import { onClickAway, isReadonlyProp } from 'common'; const searchTicks: [number, string][] = [ [4000, '4s'], + [6000, '6s'], [8000, '8s'], + [10000, '10s'], [12000, '12s'], + [15000, '15s'], [20000, '20s'], + [30000, '30s'], [Number.POSITIVE_INFINITY, '∞'], ];