diff --git a/ui/src/assets/schema/provider/filebacked-http-reloading.schema.json b/ui/src/assets/schema/provider/filebacked-http-reloading.schema.json index 6467d6c45..4de59a093 100644 --- a/ui/src/assets/schema/provider/filebacked-http-reloading.schema.json +++ b/ui/src/assets/schema/provider/filebacked-http-reloading.schema.json @@ -54,13 +54,13 @@ "type": "string", "widget": { "id": "number", - "step": "any" + "step": 0.01 }, "placeholder": "label.real-number", "minimum": 0, "maximum": 1, "default": null, - "pattern": "^(0(\\.\\d+)?|1(\\.0+)?)?$" + "pattern": "^([0]*(\\.[0-9]+)?|[0]*\\.[0-9]*[1-9][0-9]*)$" } } }