| 63 | main_formatter: TabularOutputFormatter |
| 64 | |
| 65 | def output_timing(self, timing: str, is_warnings_style: bool = False) -> None: |
| 66 | self.log_output(timing) |
| 67 | add_style = 'class:warnings.timing' if is_warnings_style else 'class:output.timing' |
| 68 | formatted_timing = FormattedText([('', timing)]) |
| 69 | styled_timing = to_formatted_text(formatted_timing, style=add_style) |
| 70 | prompt_toolkit.print_formatted_text(styled_timing, style=self.ptoolkit_style) |
| 71 | |
| 72 | def log_query(self, query: str) -> None: |
| 73 | if isinstance(self.logfile, TextIOWrapper): |