Workaround the Github forgetting styles bug

2022-12-04 13:51:56 +00:00
parent c777af1f60
commit b00547cd97
3 changed files with 38 additions and 1 deletions
@@ -669,6 +669,10 @@ class Options:
        default_value: Any,
        overrides: dict[str, Any] | None = None,
    ) -> str:
+        """
+        Return a summary of the option value, including any overrides, with
+        ANSI 'dim' color if it's the default.
+        """
        value_str = self.option_summary_value(option_value)
        default_value_str = self.option_summary_value(default_value)
        overrides_value_strs = {