Allow theming of tab live and rerun indicators (#5188)

2024-02-24 13:26:49 +01:00
parent dd61482046
commit df2b5f94f4
9 changed files with 20 additions and 4 deletions
@@ -339,6 +339,8 @@
          "type": "object",
          "additionalProperties": false,
          "properties": {
+            "liveIndicator": { "$ref": "#/definitions/qt-color" },
+            "rerunIndicator": { "$ref": "#/definitions/qt-color" },
            "dividerLine": { "$ref": "#/definitions/qt-color" },
            "highlighted": {
              "$ref": "#/definitions/tab-colors"