| 170 | prompt_toolkit.print_formatted_text(styled_status, style=self.ptoolkit_style) |
| 171 | |
| 172 | def configure_pager(self) -> None: |
| 173 | if not os.environ.get("LESS"): |
| 174 | os.environ["LESS"] = "-RXF" |
| 175 | |
| 176 | config_pager = self.config["main"]["pager"] |
| 177 | |
| 178 | if WIN and config_pager == 'less' and not shutil.which(config_pager): |
| 179 | config_pager = 'more' |
| 180 | |
| 181 | if config_pager: |
| 182 | special.set_pager(config_pager) |
| 183 | self.explicit_pager = True |
| 184 | else: |
| 185 | self.explicit_pager = False |
| 186 | |
| 187 | if not self.config["main"].as_bool("enable_pager"): |
| 188 | special.disable_pager() |
| 189 | |
| 190 | def format_sqlresult( |
| 191 | self, |