{
const el = e.target as HTMLInputElement;
if (!el.validity.valid) el.value = el.value.replace(/\D+/g, "");
onRefreshChange(el.value);
}}
type="text"
inputmode="numeric"
pattern="[0-9]*"
min="0"
placeholder="real-time"
class="bg-green-50 text-green-900 placeholder-green-400 border border-green-200 rounded-full px-1 outline-none focus:bg-white focus:border-green-400 min-w-0 w-20"
/>
s