blob: 6df38c392d963efa6db8189e4a98b7e3f6f155b4 [file] [log] [blame]
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +00001#! /usr/bin/env python
2
3import os
4import sys
5import string
Guido van Rossum80d132d1998-10-16 16:12:11 +00006import getopt
Guido van Rossum5af7a721998-10-12 23:59:27 +00007import re
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +00008
9import linecache
10from code import InteractiveInterpreter
11
12from Tkinter import *
13import tkMessageBox
14
Guido van Rossum504b0bf1999-01-02 21:28:54 +000015from EditorWindow import EditorWindow, fixwordbreaks
16from FileList import FileList
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000017from ColorDelegator import ColorDelegator
Guido van Rossum504b0bf1999-01-02 21:28:54 +000018from OutputWindow import OutputWindow
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000019
Guido van Rossumcc0ade81998-10-19 02:26:16 +000020# We need to patch linecache.checkcache, because we don't want it
21# to throw away our <pyshell#...> entries.
22# Rather than repeating its code here, we save those entries,
23# then call the original function, and then restore the saved entries.
24def linecache_checkcache(orig_checkcache=linecache.checkcache):
25 cache = linecache.cache
26 save = {}
27 for filename in cache.keys():
28 if filename[:1] + filename[-1:] == '<>':
29 save[filename] = cache[filename]
30 orig_checkcache()
31 cache.update(save)
32linecache.checkcache = linecache_checkcache
33
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000034
Guido van Rossum504b0bf1999-01-02 21:28:54 +000035# Note: <<newline-and-indent>> event is defined in AutoIndent.py
Guido van Rossumcc0ade81998-10-19 02:26:16 +000036
Guido van Rossum504b0bf1999-01-02 21:28:54 +000037#$ event <<plain-newline-and-indent>>
38#$ win <Control-j>
39#$ unix <Control-j>
40
41#$ event <<beginning-of-line>>
42#$ win <Control-a>
43#$ win <Home>
44#$ unix <Control-a>
45#$ unix <Home>
46
47#$ event <<history-next>>
48#$ win <Alt-n>
49#$ unix <Alt-n>
50
51#$ event <<history-previous>>
52#$ win <Alt-p>
53#$ unix <Alt-p>
54
55#$ event <<interrupt-execution>>
56#$ win <Control-c>
57#$ unix <Control-c>
58
59#$ event <<end-of-file>>
60#$ win <Control-d>
61#$ unix <Control-d>
62
63#$ event <<open-stack-viewer>>
64
65#$ event <<toggle-debugger>>
66
67
68class PyShellEditorWindow(EditorWindow):
69
70 # Regular text edit window when a shell is present
71 # XXX ought to merge with regular editor window
72
73 def __init__(self, *args):
74 apply(EditorWindow.__init__, (self,) + args)
75 self.text.bind("<<set-breakpoint-here>>", self.set_breakpoint_here)
76 self.text.bind("<<open-python-shell>>", self.flist.open_shell)
77
78 rmenu_specs = [
79 ("Set breakpoint here", "<<set-breakpoint-here>>"),
80 ]
81
82 def set_breakpoint_here(self, event=None):
Guido van Rossumcc0ade81998-10-19 02:26:16 +000083 if not self.flist.pyshell or not self.flist.pyshell.interp.debugger:
84 self.text.bell()
85 return
86 self.flist.pyshell.interp.debugger.set_breakpoint_here(self)
Guido van Rossum5af7a721998-10-12 23:59:27 +000087
88
89class PyShellFileList(FileList):
Guido van Rossum504b0bf1999-01-02 21:28:54 +000090
91 # File list when a shell is present
92
Guido van Rossum5af7a721998-10-12 23:59:27 +000093 EditorWindow = PyShellEditorWindow
Guido van Rossum504b0bf1999-01-02 21:28:54 +000094
Guido van Rossum5af7a721998-10-12 23:59:27 +000095 pyshell = None
96
Guido van Rossum504b0bf1999-01-02 21:28:54 +000097 def open_shell(self, event=None):
Guido van Rossum5af7a721998-10-12 23:59:27 +000098 if self.pyshell:
99 self.pyshell.wakeup()
100 else:
101 self.pyshell = PyShell(self)
102 self.pyshell.begin()
103 return self.pyshell
104
105
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000106class ModifiedColorDelegator(ColorDelegator):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000107
108 # Colorizer for the shell window itself
109
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000110 def recolorize_main(self):
111 self.tag_remove("TODO", "1.0", "iomark")
112 self.tag_add("SYNC", "1.0", "iomark")
113 ColorDelegator.recolorize_main(self)
114
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000115 tagdefs = ColorDelegator.tagdefs.copy()
116
117 tagdefs.update({
118 ##"stdin": {"background": "yellow"},
119 "stdout": {"foreground": "blue"},
120 "stderr": {"foreground": "#007700"},
121 "console": {"foreground": "#770000"},
122 "ERROR": {"background": "#FF7777"},
123 None: {"foreground": "purple"}, # default
124 })
125
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000126
127class ModifiedInterpreter(InteractiveInterpreter):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000128
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000129 def __init__(self, tkconsole):
130 self.tkconsole = tkconsole
131 InteractiveInterpreter.__init__(self)
132
133 gid = 0
134
135 def runsource(self, source):
136 # Extend base class to stuff the source in the line cache
Guido van Rossumcc0ade81998-10-19 02:26:16 +0000137 filename = "<pyshell#%d>" % self.gid
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000138 self.gid = self.gid + 1
139 lines = string.split(source, "\n")
140 linecache.cache[filename] = len(source)+1, 0, lines, filename
141 self.more = 0
142 return InteractiveInterpreter.runsource(self, source, filename)
143
144 def showsyntaxerror(self, filename=None):
145 # Extend base class to color the offending position
146 # (instead of printing it and pointing at it with a caret)
147 text = self.tkconsole.text
148 stuff = self.unpackerror()
149 if not stuff:
150 self.tkconsole.resetoutput()
151 InteractiveInterpreter.showsyntaxerror(self, filename)
152 return
153 msg, lineno, offset, line = stuff
154 if lineno == 1:
155 pos = "iomark + %d chars" % (offset-1)
156 else:
157 pos = "iomark linestart + %d lines + %d chars" % (lineno-1,
158 offset-1)
159 text.tag_add("ERROR", pos)
160 text.see(pos)
161 char = text.get(pos)
162 if char in string.letters + string.digits + "_":
163 text.tag_add("ERROR", pos + " wordstart", pos)
164 self.tkconsole.resetoutput()
165 self.write("SyntaxError: %s\n" % str(msg))
166
167 def unpackerror(self):
168 type, value, tb = sys.exc_info()
169 ok = type == SyntaxError
170 if ok:
171 try:
172 msg, (dummy_filename, lineno, offset, line) = value
173 except:
174 ok = 0
175 if ok:
176 return msg, lineno, offset, line
177 else:
178 return None
179
180 def showtraceback(self):
181 # Extend base class method to reset output properly
182 text = self.tkconsole.text
183 self.tkconsole.resetoutput()
Guido van Rossum19563521998-10-13 16:32:05 +0000184 self.checklinecache()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000185 InteractiveInterpreter.showtraceback(self)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000186
Guido van Rossum19563521998-10-13 16:32:05 +0000187 def checklinecache(self):
188 c = linecache.cache
189 for key in c.keys():
190 if key[:1] + key[-1:] != "<>":
191 del c[key]
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000192
Guido van Rossum35f75421998-10-13 23:51:13 +0000193 debugger = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000194
Guido van Rossum35f75421998-10-13 23:51:13 +0000195 def setdebugger(self, debugger):
196 self.debugger = debugger
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000197
Guido van Rossum35f75421998-10-13 23:51:13 +0000198 def getdebugger(self):
199 return self.debugger
200
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000201 def runcode(self, code):
202 # Override base class method
Guido van Rossum35f75421998-10-13 23:51:13 +0000203 debugger = self.debugger
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000204 try:
205 self.tkconsole.beginexecuting()
206 try:
Guido van Rossum35f75421998-10-13 23:51:13 +0000207 if debugger:
208 debugger.run(code, self.locals)
209 else:
210 exec code in self.locals
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000211 except SystemExit:
212 if tkMessageBox.askyesno(
213 "Exit?",
214 "Do you want to exit altogether?",
215 default="yes",
216 master=self.tkconsole.text):
217 raise
218 else:
219 self.showtraceback()
220 except:
221 self.showtraceback()
222 finally:
223 self.tkconsole.endexecuting()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000224
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000225 def write(self, s):
226 # Override base class write
227 self.tkconsole.console.write(s)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000228
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000229
230class PyShell(OutputWindow):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000231
232 # Override classes
233 ColorDelegator = ModifiedColorDelegator
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000234
Guido van Rossum5af7a721998-10-12 23:59:27 +0000235 # Override menu bar specs
236 menu_specs = PyShellEditorWindow.menu_specs[:]
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000237 menu_specs.insert(len(menu_specs)-2, ("debug", "_Debug"))
238
Guido van Rossumcc0ade81998-10-19 02:26:16 +0000239 # New classes
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000240 from History import History
241
242 def __init__(self, flist=None):
243 self.interp = ModifiedInterpreter(self)
244 if flist is None:
245 root = Tk()
246 fixwordbreaks(root)
247 root.withdraw()
Guido van Rossum5af7a721998-10-12 23:59:27 +0000248 flist = PyShellFileList(root)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000249
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000250 OutputWindow.__init__(self, flist, None, None)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000251
252 import __builtin__
253 __builtin__.quit = __builtin__.exit = "To exit, type Ctrl-D."
254
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000255 self.auto = self.extensions["AutoIndent"] # Required extension
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000256 self.auto.config(prefertabs=1)
257
258 text = self.text
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000259 text.configure(wrap="char")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000260 text.bind("<<newline-and-indent>>", self.enter_callback)
261 text.bind("<<plain-newline-and-indent>>", self.linefeed_callback)
262 text.bind("<<interrupt-execution>>", self.cancel_callback)
263 text.bind("<<beginning-of-line>>", self.home_callback)
264 text.bind("<<end-of-file>>", self.eof_callback)
Guido van Rossum5af7a721998-10-12 23:59:27 +0000265 text.bind("<<open-stack-viewer>>", self.open_stack_viewer)
Guido van Rossum35f75421998-10-13 23:51:13 +0000266 text.bind("<<toggle-debugger>>", self.toggle_debugger)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000267 text.bind("<<open-python-shell>>", self.flist.open_shell)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000268
269 sys.stdout = PseudoFile(self, "stdout")
Guido van Rossum3f08d401998-10-13 15:21:41 +0000270 sys.stderr = PseudoFile(self, "stderr")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000271 sys.stdin = self
272 self.console = PseudoFile(self, "console")
273
274 self.history = self.History(self.text)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000275
276 reading = 0
277 executing = 0
278 canceled = 0
279 endoffile = 0
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000280
Guido van Rossum35f75421998-10-13 23:51:13 +0000281 def toggle_debugger(self, event=None):
282 if self.executing:
283 tkMessageBox.showerror("Don't debug now",
284 "You can only toggle the debugger when idle",
285 master=self.text)
286 return "break"
287 db = self.interp.getdebugger()
288 if db:
Guido van Rossum35e55da1998-10-14 03:43:05 +0000289 self.close_debugger()
290 else:
291 self.open_debugger()
292
293 def close_debugger(self):
294 db = self.interp.getdebugger()
295 if db:
296 self.interp.setdebugger(None)
Guido van Rossum35f75421998-10-13 23:51:13 +0000297 db.close()
298 self.resetoutput()
299 self.console.write("[DEBUG OFF]\n")
300 sys.ps1 = ">>> "
301 self.showprompt()
Guido van Rossum35e55da1998-10-14 03:43:05 +0000302
303 def open_debugger(self):
304 import Debugger
305 self.interp.setdebugger(Debugger.Debugger(self))
Guido van Rossumadfe7731998-10-16 21:09:35 +0000306 sys.ps1 = "[DEBUG ON]\n>>> "
Guido van Rossum35e55da1998-10-14 03:43:05 +0000307 self.showprompt()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000308
309 def beginexecuting(self):
310 # Helper for ModifiedInterpreter
311 self.resetoutput()
312 self.executing = 1
313 self._cancel_check = self.cancel_check
314 ##sys.settrace(self._cancel_check)
315
316 def endexecuting(self):
317 # Helper for ModifiedInterpreter
318 sys.settrace(None)
319 self.executing = 0
320 self.canceled = 0
321
322 def close(self):
323 # Extend base class method
324 if self.executing:
325 # XXX Need to ask a question here
326 if not tkMessageBox.askokcancel(
327 "Cancel?",
328 "The program is still running; do you want to cancel it?",
329 default="ok",
330 master=self.text):
331 return "cancel"
332 self.canceled = 1
333 if self.reading:
334 self.top.quit()
335 return "cancel"
Guido van Rossum5af7a721998-10-12 23:59:27 +0000336 reply = PyShellEditorWindow.close(self)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000337 if reply != "cancel":
Guido van Rossum5af7a721998-10-12 23:59:27 +0000338 self.flist.pyshell = None
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000339 # Restore std streams
340 sys.stdout = sys.__stdout__
341 sys.stderr = sys.__stderr__
342 sys.stdin = sys.__stdin__
343 # Break cycles
344 self.interp = None
345 self.console = None
346 return reply
347
348 def ispythonsource(self, filename):
349 # Override this so EditorWindow never removes the colorizer
350 return 1
351
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000352 def short_title(self):
353 return "Python Shell"
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000354
Guido van Rossum5af7a721998-10-12 23:59:27 +0000355 def begin(self):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000356 self.resetoutput()
357 self.write("Python %s on %s\n%s\n" %
358 (sys.version, sys.platform, sys.copyright))
359 try:
360 sys.ps1
361 except AttributeError:
362 sys.ps1 = ">>> "
363 self.showprompt()
364 import Tkinter
365 Tkinter._default_root = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000366
Guido van Rossum5af7a721998-10-12 23:59:27 +0000367 def interact(self):
368 self.begin()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000369 self.top.mainloop()
370
371 def readline(self):
372 save = self.reading
373 try:
374 self.reading = 1
375 self.top.mainloop()
376 finally:
377 self.reading = save
378 line = self.text.get("iomark", "end-1c")
379 self.resetoutput()
380 if self.canceled:
381 self.canceled = 0
382 raise KeyboardInterrupt
383 if self.endoffile:
384 self.endoffile = 0
385 return ""
386 return line
387
388 def cancel_callback(self, event):
389 try:
390 if self.text.compare("sel.first", "!=", "sel.last"):
391 return # Active selection -- always use default binding
392 except:
393 pass
394 if not (self.executing or self.reading):
395 self.resetoutput()
396 self.write("KeyboardInterrupt\n")
397 self.showprompt()
398 return "break"
399 self.endoffile = 0
400 self.canceled = 1
401 if self.reading:
402 self.top.quit()
403 return "break"
404
405 def eof_callback(self, event):
406 if self.executing and not self.reading:
407 return # Let the default binding (delete next char) take over
408 if not (self.text.compare("iomark", "==", "insert") and
409 self.text.compare("insert", "==", "end-1c")):
410 return # Let the default binding (delete next char) take over
411 if not self.executing:
412## if not tkMessageBox.askokcancel(
413## "Exit?",
414## "Are you sure you want to exit?",
415## default="ok", master=self.text):
416## return "break"
417 self.resetoutput()
418 self.close()
419 else:
420 self.canceled = 0
421 self.endoffile = 1
422 self.top.quit()
423 return "break"
424
425 def home_callback(self, event):
426 if event.state != 0 and event.keysym == "Home":
427 return # <Modifier-Home>; fall back to class binding
428 if self.text.compare("iomark", "<=", "insert") and \
429 self.text.compare("insert linestart", "<=", "iomark"):
430 self.text.mark_set("insert", "iomark")
431 self.text.tag_remove("sel", "1.0", "end")
432 self.text.see("insert")
433 return "break"
434
435 def linefeed_callback(self, event):
436 # Insert a linefeed without entering anything (still autoindented)
437 if self.reading:
438 self.text.insert("insert", "\n")
439 self.text.see("insert")
440 else:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000441 self.auto.auto_indent(event)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000442 return "break"
443
444 def enter_callback(self, event):
445 if self.executing and not self.reading:
446 return # Let the default binding (insert '\n') take over
447 # If some text is selected, recall the selection
Guido van Rossum4650df91998-10-13 14:41:27 +0000448 # (but only if this before the I/O mark)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000449 try:
450 sel = self.text.get("sel.first", "sel.last")
451 if sel:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000452 if self.text.compare("sel.last", "<=", "iomark"):
Guido van Rossum4650df91998-10-13 14:41:27 +0000453 self.recall(sel)
454 return "break"
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000455 except:
456 pass
457 # If we're strictly before the line containing iomark, recall
458 # the current line, less a leading prompt, less leading or
459 # trailing whitespace
460 if self.text.compare("insert", "<", "iomark linestart"):
Guido van Rossum4650df91998-10-13 14:41:27 +0000461 # Check if there's a relevant stdin range -- if so, use it
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000462 prev = self.text.tag_prevrange("stdin", "insert")
463 if prev and self.text.compare("insert", "<", prev[1]):
464 self.recall(self.text.get(prev[0], prev[1]))
465 return "break"
466 next = self.text.tag_nextrange("stdin", "insert")
467 if next and self.text.compare("insert lineend", ">=", next[0]):
468 self.recall(self.text.get(next[0], next[1]))
469 return "break"
470 # No stdin mark -- just get the current line
471 self.recall(self.text.get("insert linestart", "insert lineend"))
472 return "break"
Guido van Rossum4650df91998-10-13 14:41:27 +0000473 # If we're in the current input before its last line,
474 # insert a newline right at the insert point
475 if self.text.compare("insert", "<", "end-1c linestart"):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000476 self.auto.auto_indent(event)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000477 return "break"
Guido van Rossum4650df91998-10-13 14:41:27 +0000478 # We're in the last line; append a newline and submit it
479 self.text.mark_set("insert", "end-1c")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000480 if self.reading:
481 self.text.insert("insert", "\n")
482 self.text.see("insert")
483 else:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000484 self.auto.auto_indent(event)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000485 self.text.tag_add("stdin", "iomark", "end-1c")
486 self.text.update_idletasks()
487 if self.reading:
488 self.top.quit() # Break out of recursive mainloop() in raw_input()
489 else:
490 self.runit()
491 return "break"
492
493 def recall(self, s):
494 if self.history:
495 self.history.recall(s)
496
497 def runit(self):
498 line = self.text.get("iomark", "end-1c")
499 # Strip off last newline and surrounding whitespace.
500 # (To allow you to hit return twice to end a statement.)
501 i = len(line)
502 while i > 0 and line[i-1] in " \t":
503 i = i-1
504 if i > 0 and line[i-1] == "\n":
505 i = i-1
506 while i > 0 and line[i-1] in " \t":
507 i = i-1
508 line = line[:i]
509 more = self.interp.runsource(line)
510 if not more:
511 self.showprompt()
512
513 def cancel_check(self, frame, what, args,
514 dooneevent=tkinter.dooneevent,
515 dontwait=tkinter.DONT_WAIT):
516 # Hack -- use the debugger hooks to be able to handle events
517 # and interrupt execution at any time.
518 # This slows execution down quite a bit, so you may want to
519 # disable this (by not calling settrace() in runcode() above)
520 # for full-bore (uninterruptable) speed.
521 # XXX This should become a user option.
522 if self.canceled:
523 return
524 dooneevent(dontwait)
525 if self.canceled:
526 self.canceled = 0
527 raise KeyboardInterrupt
528 return self._cancel_check
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000529
Guido van Rossum5af7a721998-10-12 23:59:27 +0000530 def open_stack_viewer(self, event=None):
531 try:
532 sys.last_traceback
533 except:
534 tkMessageBox.showerror("No stack trace",
535 "There is no stack trace yet.\n"
536 "(sys.last_traceback is not defined)",
537 master=self.text)
538 return
Guido van Rossum80d132d1998-10-16 16:12:11 +0000539 from StackViewer import StackBrowser
540 sv = StackBrowser(self.root, self.flist)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000541
542 def showprompt(self):
543 self.resetoutput()
544 try:
545 s = str(sys.ps1)
546 except:
547 s = ""
548 self.console.write(s)
549 self.text.mark_set("insert", "end-1c")
550
551 def resetoutput(self):
552 source = self.text.get("iomark", "end-1c")
553 if self.history:
554 self.history.history_store(source)
555 if self.text.get("end-2c") != "\n":
556 self.text.insert("end-1c", "\n")
557 self.text.mark_set("iomark", "end-1c")
558 sys.stdout.softspace = 0
559
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000560 def write(self, s, tags=()):
561 self.text.mark_gravity("iomark", "right")
562 OutputWindow.write(self, s, tags, "iomark")
563 self.text.mark_gravity("iomark", "left")
564 if self.canceled:
565 self.canceled = 0
566 raise KeyboardInterrupt
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000567
568class PseudoFile:
569
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000570 def __init__(self, shell, tags):
571 self.shell = shell
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000572 self.tags = tags
573
574 def write(self, s):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000575 self.shell.write(s, self.tags)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000576
577 def writelines(self, l):
578 map(self.write, l)
579
580
581def main():
Guido van Rossum80d132d1998-10-16 16:12:11 +0000582 debug = 0
583 try:
584 opts, args = getopt.getopt(sys.argv[1:], "d")
585 except getopt.error, msg:
586 sys.stderr.write("Error: %s\n" % str(msg))
587 sys.exit(2)
588 for o, a in opts:
589 if o == "-d":
590 debug = 1
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000591 global flist, root
592 root = Tk()
593 fixwordbreaks(root)
594 root.withdraw()
Guido van Rossum5af7a721998-10-12 23:59:27 +0000595 flist = PyShellFileList(root)
Guido van Rossum80d132d1998-10-16 16:12:11 +0000596 if args:
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000597 for filename in sys.argv[1:]:
598 flist.open(filename)
599 t = PyShell(flist)
Guido van Rossum5af7a721998-10-12 23:59:27 +0000600 flist.pyshell = t
601 t.begin()
Guido van Rossum80d132d1998-10-16 16:12:11 +0000602 if debug:
603 t.open_debugger()
Guido van Rossum5af7a721998-10-12 23:59:27 +0000604 root.mainloop()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000605
606if __name__ == "__main__":
607 main()