Lines Matching refs:KeyboardInterrupt
572 except (EOFError, IOError, KeyboardInterrupt):
817 print("KeyboardInterrupt", file=self.tkconsole.stderr)
1092 raise KeyboardInterrupt
1109 self.interp.write("KeyboardInterrupt\n")
1303 raise KeyboardInterrupt
