Changeset 3027
- Timestamp:
- 06/22/08 19:17:44 (5 years ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
branch/UmitPlugins/source-plugins/umit-console/sources/console/pyconsole.py
r3025 r3027 47 47 return prefix 48 48 49 class VirtualStdIn(object):50 def __init__(self):51 self.buffer = str()52 53 def feed(self, txt):54 if txt:55 self.buffer += txt56 57 def read(self, size):58 t = self.buffer[0:size]59 self.buffer = self.buffer[size + 1:]60 return t61 62 def readline(self):63 t = self.buffer.split('\n')64 self.buffer = "\n".join(t[1:])65 return t[0]66 67 def readlines(self):68 t = self.buffer.split('\n')69 self.buffer = ""70 return t71 72 49 class _ReadLine(object): 73 50 … … 131 108 self.history = _ReadLine.History() 132 109 self.nonword_re = re.compile("[^\w\._]") 133 self.my_stdin = VirtualStdIn()134 110 135 111 def freeze_undo(self): … … 236 212 self.tab_pressed = 0 237 213 handled = True 238 239 self.my_stdin.feed(event.string)240 214 241 215 state = event.state & (gdk.SHIFT_MASK | … … 432 406 433 407 def do_raw_input(self, text): 434 p rint "HERE"435 436 def write(self, 408 pass 409 410 def write(self,whatever): 437 411 self.buffer.insert_at_cursor(whatever) 438 439 def readline(self): 440 self.my_stdin.readline() 412 441 413 442 414 class _Console(_ReadLine, code.InteractiveInterpreter): … … 465 437 self.run_on_raw_input = start_script 466 438 self.raw_input(self.ps1) 467 439 468 440 def __start(self): 469 441 self.cmd_buffer = "" … … 502 474 503 475 def runcode(self, code): 504 savedo = sys.stdout 505 savedi = sys.stdin 506 476 saved = sys.stdout 507 477 sys.stdout = self 508 sys.stdin = self509 510 478 try: 511 479 eval(code, self.locals) … … 514 482 except: 515 483 self.showtraceback() 516 517 sys.stdout = savedo 518 sys.stdin = savedi 484 sys.stdout = saved 519 485 520 486 def complete_attr(self, start, end): … … 579 545 return completions 580 546 547 581 548 def ReadLineType(t=gtk.TextView): 582 549 class readline(t, _ReadLine):
