rich_3718

{"status": "ok", "stdout": "26:        title (Optional[TextType], optional): Optional title displayed in panel header. Defaults to None.\n27:        title_align (AlignMethod, optional): Alignment of title. Defaults to \"center\".\n28:        subtitle (Optional[TextType], optional): Optional subtitle displayed in panel footer. Defaults to None.\n29:        subtitle_align (AlignMethod, optional): Alignment of subtitle. Defaults to \"center\".\n37:        highlight (bool, optional): Enable automatic highlighting of panel title (if str). Defaults to False.\n45:        title: Optional[TextType] = None,\n46:        title_align: AlignMethod = \"center\",\n47:        subtitle: Optional[TextType] = None,\n48:        subtitle_align: AlignMethod = \"center\",\n60:        self.title = title\n61:        self.title_align: AlignMethod = title_align\n62:        self.subtitle = subtitle\n63:        self.subtitle_align = subtitle_align\n79:        title: Optional[TextType] = None,\n80:        title_align: AlignMethod = \"center\",\n81:        subtitle: Optional[TextType] = None,\n82:        subtitle_align: AlignMethod = \"center\",\n95:            title=title,\n96:            title_align=title_align,\n97:            subtitle=subtitle,\n98:            subtitle_align=subtitle_align,\n110:    def _title(self) -> Optional[Text]:\n111:        if self.title:\n112:            title_text = (\n113:                Text.from_markup(self.title)\n114:                if isinstance(self.title, str)\n115:                else self.title.copy()\n117:            title_text.end = \"\"\n118:            title_text.plain = title_text.plain.replace(\"\\n\", \" \")\n119:            title_text.no_wrap = True\n120:            title_text.expand_tabs()\n121:            title_text.pad(1)\n122:            return title_text\n126:    def _subtitle(self) -> Optional[Text]:\n127:        if self.subtitle:\n128:            subtitle_text = (\n129:                Text.from_markup(self.subtitle)\n130:                if isi

{"status": "ok", "filepath": "rich/panel.py", "content": "    def _title(self) -> Optional[Text]:\n        if self.title:\n            title_text = (\n                Text.from_markup(self.title)\n                if isinstance(self.title, str)\n                else self.title.copy()\n            )\n            title_text.end = \"\"\n            title_text.plain = title_text.plain.replace(\"\\n\", \" \")\n            title_text.no_wrap = True\n            title_text.expand_tabs()\n            title_text.pad(1)\n            return title_text\n        return None\n\n    @property\n    def _subtitle(self) -> Optional[Text]:\n        if self.subtitle:\n            subtitle_text = (\n                Text.from_markup(self.subtitle)\n                if isinstance(self.subtitle, str)\n                else self.subtitle.copy()\n            )\n            subtitle_text.end = \"\"\n            subtitle_text.plain = subtitle_text.plain.replace(\"\\n\", \" \")\n            subtitle_text.no_wrap = True\n            subtitle_text.expand_tabs()\n            subtitle_text.pad(1)\n            return subtitle_text\n        return None\n\n    def __rich_console__(\n        self, console: \"Console\", options: \"ConsoleOptions\"\n    ) -> \"RenderResult\":\n        _padding = Padding.unpack(self.padding)\n        renderable = (\n            Padding(self.renderable, _padding) if any(_padding) else self.renderable\n        )\n        style = console.get_style(self.style)\n        partial_border_style = console.get_style(self.border_style)\n        border_style = style + partial_border_style\n        width = (\n            options.max_width\n            if self.width is None\n            else min(options.max_width, self.width)\n        )\n\n        safe_box: bool = console.safe_box if self.safe_box is None else self.safe_box\n        box = self.box.substitute(options, safe=safe_box)\n\n        def align_text(\n            text: Text, width: int, align: str, character: str, style: Style\n   

{"status": "ok", "filepath": "rich/panel.py", "content": "\n            if excess_space:\n                if align == \"left\":\n                    return Text.assemble(\n                        text,\n                        (character * excess_space, style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                elif align == \"center\":\n                    left = excess_space // 2\n                    return Text.assemble(\n                        (character * left, style),\n                        text,\n                        (character * (excess_space - left), style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                else:\n                    return Text.assemble(\n                        (character * excess_space, style),\n                        text,\n                        no_wrap=True,\n                        end=\"\",\n                    )\n            return text\n\n        title_text = self._title\n        if title_text is not None:\n            title_text.stylize_before(partial_border_style)\n\n        child_width = (\n            width - 2\n            if self.expand\n            else console.measure(\n                renderable, options=options.update_width(width - 2)\n            ).maximum\n        )\n        child_height = self.height or options.height or None\n        if child_height:\n            child_height -= 2\n        if title_text is not None:\n            child_width = min(\n                options.max_width - 2, max(child_width, title_text.cell_len + 2)\n            )\n\n        width = child_width + 2\n        child_options = options.update(\n            width=child_width, height=child_height, highlight=self.highlight\n        )\n        lines = console.render_lines(renderable, child_options, style=style)\n", "start_line": 180, "end_line": 230, "total_lines": 318, "is_truncated": false}

{"status": "ok", "filepath": "rich/panel.py", "content": "                    left = excess_space // 2\n                    return Text.assemble(\n                        (character * left, style),\n                        text,\n                        (character * (excess_space - left), style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                else:\n                    return Text.assemble(\n                        (character * excess_space, style),\n                        text,\n                        no_wrap=True,\n                        end=\"\",\n                    )\n            return text\n\n        title_text = self._title\n        if title_text is not None:\n            title_text.stylize_before(partial_border_style)\n\n", "start_line": 190, "end_line": 210, "total_lines": 318, "is_truncated": false}

{"status": "ok", "filepath": "rich/panel.py", "content": "                style (Style): Border style\n\n            Returns:\n                Text: New text instance\n            \"\"\"\n            text = text.copy()\n            text.truncate(width)\n            excess_space = width - cell_len(text.plain)\n            if text.style:\n                text.stylize(console.get_style(text.style))\n\n            if excess_space:\n                if align == \"left\":\n                    return Text.assemble(\n                        text,\n                        (character * excess_space, style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                elif align == \"center\":\n                    left = excess_space // 2\n                    return Text.assemble(\n                        (character * left, style),\n                        text,\n                        (character * (excess_space - left), style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                else:\n                    return Text.assemble(\n                        (character * excess_space, style),\n                        text,\n                        no_wrap=True,\n                        end=\"\",\n                    )\n            return text\n\n        title_text = self._title\n        if title_text is not None:\n            title_text.stylize_before(partial_border_style)\n\n", "start_line": 170, "end_line": 210, "total_lines": 318, "is_truncated": false}

{"status": "ok", "filepath": "rich/panel.py", "content": "        border_style = style + partial_border_style\n        width = (\n            options.max_width\n            if self.width is None\n            else min(options.max_width, self.width)\n        )\n\n        safe_box: bool = console.safe_box if self.safe_box is None else self.safe_box\n        box = self.box.substitute(options, safe=safe_box)\n\n        def align_text(\n            text: Text, width: int, align: str, character: str, style: Style\n        ) -> Text:\n            \"\"\"Gets new aligned text.\n\n            Args:\n                text (Text): Title or subtitle text.\n                width (int): Desired width.\n                align (str): Alignment.\n                character (str): Character for alignment.\n                style (Style): Border style\n\n            Returns:\n                Text: New text instance\n            \"\"\"\n            text = text.copy()\n            text.truncate(width)\n            excess_space = width - cell_len(text.plain)\n            if text.style:\n                text.stylize(console.get_style(text.style))\n\n            if excess_space:\n                if align == \"left\":\n                    return Text.assemble(\n                        text,\n                        (character * excess_space, style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                elif align == \"center\":\n                    left = excess_space // 2\n                    return Text.assemble(\n                        (character * left, style),\n                        text,\n                        (character * (excess_space - left), style),\n                        no_wrap=True,\n                        end=\"\",\n                    )\n                else:\n                    return Text.assemble(\n                        (character * excess_space, style),\n                        text,\n                       

{"status": "ok", "filepath": "rich/panel.py", "occurrences": 1, "strategy": "exact", "diff": "--- a/rich/panel.py\n+++ b/rich/panel.py\n@@ -206,7 +206,7 @@\n \n         title_text = self._title\n         if title_text is not None:\n-            title_text.stylize_before(partial_border_style)\n+            title_text.stylize_before(border_style)\n \n         child_width = (\n             width - 2\n", "is_truncated": false}

{"status": "ok", "patch_size": 398, "files_changed": 1}