Title: add option --title-color-user, --title-color-at and --title-color-host

2026-09-13 02:42:09 +02:00 · 2023-07-20 11:21:12 +08:00
parent 00a5f1bf3f
commit e9ec7d3597
6 changed files with 89 additions and 4 deletions
@@ -988,6 +988,23 @@
                                        "title": "Set if the title should use fully qualified domain name",
                                        "default": false
                                    },
+                                    "color": {
+                                        "title": "Set colors of the different part of title",
+                                        "properties": {
+                                            "user": {
+                                                "title": "Set color of the user name (left part)",
+                                                "$ref": "#/$defs/colors"
+                                            },
+                                            "at": {
+                                                "title": "Set color of the @ symbol (middle part)",
+                                                "$ref": "#/$defs/colors"
+                                            },
+                                            "host": {
+                                                "title": "Set color of the host name (right part)",
+                                                "$ref": "#/$defs/colors"
+                                            }
+                                        }
+                                    },
                                    "key": {
                                        "$ref": "#/$defs/key"
                                    },