| commit | dac238bd46e95d1736cd6bee11df850a508f433b | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Sat May 26 20:01:41 2001 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Sat May 26 20:01:41 2001 +0000 |
| tree | a3053005a91145a59c1f44dc0d27ef9eebdd7495 | |
| parent | 1af03e98d9ab87b4e9aa76caafba0dbc52cfd750 [diff] |
When reading from stdin (with the dialog box) use any partial line on stdout as the prompt. This makes raw_input() and print "xxx", ; sys.stdin.readline() work a bit more palatable.