From 6ce95dd3938aa21ecdc3fcaf3531f8edd36a0126 Mon Sep 17 00:00:00 2001
From: GitHub Actions Bot <>
Date: Mon, 29 May 2023 15:38:56 +0000
Subject: [PATCH] Update API doc

---
 doc/common/apidoc/index.json | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/doc/common/apidoc/index.json b/doc/common/apidoc/index.json
index a768b2c3b..7904390fd 100644
--- a/doc/common/apidoc/index.json
+++ b/doc/common/apidoc/index.json
@@ -576,6 +576,14 @@
                             "type": "boolean",
                             "default": "",
                             "description": "Whether the tab is last."
+                        },
+                        {
+                            "name": "active",
+                            "optional": false,
+                            "readonly": false,
+                            "type": "boolean",
+                            "default": "",
+                            "description": "Whether the tab is active."
                         }
                     ],
                     "methods": []