From 1c8e2e34ba6dd43e9df215c32153d632ad9243cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E6=9D=8E=E9=80=9A=E6=B4=B2?= Date: Mon, 11 Aug 2025 14:16:13 +0800 Subject: [PATCH] JsonSchema: remove unused properties [ci skip] --- doc/json_schema.json | 20 -------------------- 1 file changed, 20 deletions(-) diff --git a/doc/json_schema.json b/doc/json_schema.json index ba6940442..a1e66b3f9 100644 --- a/doc/json_schema.json +++ b/doc/json_schema.json @@ -1207,26 +1207,6 @@ } ] }, - "charElapsed": { - "type": "string", - "description": "Set the character to use in elapsed part. Deprecated in v2.50.0", - "default": "■" - }, - "charTotal": { - "type": "string", - "description": "Set the character to use in total part. Deprecated in v2.50.0", - "default": "-" - }, - "borderLeft": { - "type": "string", - "description": "Set the string to use at left border. Deprecated in v2.50.0", - "default": "[ " - }, - "borderRight": { - "type": "string", - "description": "Set the string to use at right border. Deprecated in v2.50.0", - "default": " ]" - }, "width": { "type": "integer", "description": "Set the width of the bar, in number of characters",