From 3ac341517852e979ec2c32a5fc280a98a7148e60 Mon Sep 17 00:00:00 2001 From: Jan Eitzinger Date: Tue, 3 Dec 2024 07:41:23 +0100 Subject: [PATCH] Mark new ui options as required --- pkg/schema/schemas/config.schema.json | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/pkg/schema/schemas/config.schema.json b/pkg/schema/schemas/config.schema.json index a9d7c47..e1b7dc8 100644 --- a/pkg/schema/schemas/config.schema.json +++ b/pkg/schema/schemas/config.schema.json @@ -484,6 +484,8 @@ "plot_view_showRoofline", "plot_view_showStatTable", "system_view_selectedMetric", + "job_view_showFootprint", + "job_list_usePaging", "analysis_view_histogramMetrics", "analysis_view_scatterPlotMetrics", "job_view_nodestats_selectedMetrics", @@ -492,7 +494,7 @@ "plot_general_colorscheme", "plot_list_selectedMetrics" ] - }, + } }, "required": [ "jwts",