def draw_screen(self): self.write(clear_screen()) if self.window_ids: input_text = self.line_edit.current_input if self.text_marked: self.line_edit.current_input = styled(input_text, reverse=True) self.line_edit.write(self.write, self.prompt) self.line_edit.current_input = input_text if self.error: with cursor(self.write): self.print('') for l in self.error.split('\n'): self.print(l)
def launch(args): config_dir, kitten = args[:2] kitten = resolved_kitten(kitten) del args[:2] args = [kitten] + args os.environ['KITTY_CONFIG_DIRECTORY'] = config_dir from kittens.tui.operations import clear_screen, reset_mode m = import_kitten_main_module(config_dir, kitten) result = m['start'](args) print(reset_mode('ALTERNATE_SCREEN') + clear_screen(), end='') if result is not None: import json print('OK:', json.dumps(result)) sys.stderr.flush() sys.stdout.flush()
def launch(args: List[str]) -> None: config_dir, kitten = args[:2] kitten = resolved_kitten(kitten) del args[:2] args = [kitten] + args os.environ['KITTY_CONFIG_DIRECTORY'] = config_dir from kittens.tui.operations import clear_screen, reset_mode, Mode set_debug(kitten) m = import_kitten_main_module(config_dir, kitten) try: result = m['start'](args) finally: sys.stdin = sys.__stdin__ print(reset_mode(Mode.ALTERNATE_SCREEN) + clear_screen(), end='') if result is not None: import json data = json.dumps(result) print('OK:', len(data), data) sys.stderr.flush() sys.stdout.flush()