def send(self, formatted_text): """ Send text to the client. """ formatted_text = to_formatted_text(formatted_text) print_formatted_text(self.vt100_output, formatted_text, self.style or DummyStyle())
async def prompt(self, message: AnyFormattedText, *, validator: Validator = DummyValidator(), style: Style = DummyStyle()): return await self._prompt_session.prompt_async(message, validator=validator, style=style)
def send(self, formatted_text: AnyFormattedText) -> None: """ Send text to the client. """ if self.vt100_output is None: return formatted_text = to_formatted_text(formatted_text) print_formatted_text(self.vt100_output, formatted_text, self.style or DummyStyle())
def _create_merged_style(self, include_default_pygments_style): """ Create a `Style` object that merges the default UI style, the default pygments style, and the custom user style. """ dummy_style = DummyStyle() pygments_style = default_pygments_style() @DynamicStyle def conditional_pygments_style(): if include_default_pygments_style(): return pygments_style else: return dummy_style return merge_styles([ default_ui_style(), conditional_pygments_style, DynamicStyle(lambda: self.style), ])