blob: 4c07c035e8a8d8dbd63505e8ab941c2fe0f07ca6 [file] [log] [blame]
David Scherer7aced172000-08-15 01:13:23 +00001from Tkinter import *
Guido van Rossum36e0a922007-07-20 04:05:57 +00002from .EditorWindow import EditorWindow
David Scherer7aced172000-08-15 01:13:23 +00003import re
4import tkMessageBox
Guido van Rossum36e0a922007-07-20 04:05:57 +00005from . import IOBinding
David Scherer7aced172000-08-15 01:13:23 +00006
David Scherer7aced172000-08-15 01:13:23 +00007class OutputWindow(EditorWindow):
Kurt B. Kaiser969de452002-06-12 03:28:57 +00008
9 """An editor window that can serve as an output file.
10
11 Also the future base class for the Python shell window.
12 This class has no input facilities.
David Scherer7aced172000-08-15 01:13:23 +000013 """
14
Kurt B. Kaiser969de452002-06-12 03:28:57 +000015 def __init__(self, *args):
Raymond Hettinger931237e2003-07-09 18:48:24 +000016 EditorWindow.__init__(self, *args)
David Scherer7aced172000-08-15 01:13:23 +000017 self.text.bind("<<goto-file-line>>", self.goto_file_line)
David Scherer7aced172000-08-15 01:13:23 +000018
19 # Customize EditorWindow
20
21 def ispythonsource(self, filename):
22 # No colorization needed
23 return 0
24
25 def short_title(self):
26 return "Output"
27
David Scherer7aced172000-08-15 01:13:23 +000028 def maybesave(self):
29 # Override base class method -- don't ask any questions
30 if self.get_saved():
31 return "yes"
32 else:
33 return "no"
34
David Scherer7aced172000-08-15 01:13:23 +000035 # Act as output file
36
Kurt B. Kaiser969de452002-06-12 03:28:57 +000037 def write(self, s, tags=(), mark="insert"):
Kurt B. Kaiser7de37722003-06-15 17:49:59 +000038 # Tk assumes that byte strings are Latin-1;
39 # we assume that they are in the locale's encoding
40 if isinstance(s, str):
41 try:
Guido van Rossumef87d6e2007-05-02 19:09:54 +000042 s = str(s, IOBinding.encoding)
Kurt B. Kaisercbbe98f2007-08-12 01:52:35 +000043 except TypeError:
44 raise
Kurt B. Kaiser7de37722003-06-15 17:49:59 +000045 except UnicodeError:
46 # some other encoding; let Tcl deal with it
47 pass
Kurt B. Kaiserd0116362002-09-02 21:29:40 +000048 self.text.insert(mark, s, tags)
David Scherer7aced172000-08-15 01:13:23 +000049 self.text.see(mark)
50 self.text.update()
51
Kurt B. Kaiser66aaf742007-08-09 18:00:23 +000052 def writelines(self, lines):
53 for line in lines:
54 self.write(line)
David Scherer7aced172000-08-15 01:13:23 +000055
56 def flush(self):
57 pass
58
59 # Our own right-button menu
60
61 rmenu_specs = [
62 ("Go to file/line", "<<goto-file-line>>"),
63 ]
64
65 file_line_pats = [
66 r'file "([^"]*)", line (\d+)',
67 r'([^\s]+)\((\d+)\)',
68 r'([^\s]+):\s*(\d+):',
69 ]
70
71 file_line_progs = None
72
73 def goto_file_line(self, event=None):
74 if self.file_line_progs is None:
75 l = []
76 for pat in self.file_line_pats:
77 l.append(re.compile(pat, re.IGNORECASE))
78 self.file_line_progs = l
79 # x, y = self.event.x, self.event.y
80 # self.text.mark_set("insert", "@%d,%d" % (x, y))
81 line = self.text.get("insert linestart", "insert lineend")
82 result = self._file_line_helper(line)
83 if not result:
84 # Try the previous line. This is handy e.g. in tracebacks,
85 # where you tend to right-click on the displayed source line
86 line = self.text.get("insert -1line linestart",
87 "insert -1line lineend")
88 result = self._file_line_helper(line)
89 if not result:
90 tkMessageBox.showerror(
91 "No special line",
92 "The line you point at doesn't look like "
93 "a valid file name followed by a line number.",
94 master=self.text)
95 return
96 filename, lineno = result
Kurt B. Kaiser969de452002-06-12 03:28:57 +000097 edit = self.flist.open(filename)
David Scherer7aced172000-08-15 01:13:23 +000098 edit.gotoline(lineno)
David Scherer7aced172000-08-15 01:13:23 +000099
100 def _file_line_helper(self, line):
101 for prog in self.file_line_progs:
102 m = prog.search(line)
103 if m:
104 break
105 else:
106 return None
107 filename, lineno = m.group(1, 2)
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000108 try:
109 f = open(filename, "r")
110 f.close()
111 except IOError:
112 return None
David Scherer7aced172000-08-15 01:13:23 +0000113 try:
114 return filename, int(lineno)
115 except TypeError:
116 return None
117
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000118# These classes are currently not used but might come in handy
David Scherer7aced172000-08-15 01:13:23 +0000119
120class OnDemandOutputWindow:
David Scherer7aced172000-08-15 01:13:23 +0000121
122 tagdefs = {
123 # XXX Should use IdlePrefs.ColorPrefs
David Scherer7aced172000-08-15 01:13:23 +0000124 "stdout": {"foreground": "blue"},
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000125 "stderr": {"foreground": "#007700"},
126 }
127
David Scherer7aced172000-08-15 01:13:23 +0000128 def __init__(self, flist):
129 self.flist = flist
130 self.owin = None
David Scherer7aced172000-08-15 01:13:23 +0000131
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000132 def write(self, s, tags, mark):
133 if not self.owin:
David Scherer7aced172000-08-15 01:13:23 +0000134 self.setup()
135 self.owin.write(s, tags, mark)
136
David Scherer7aced172000-08-15 01:13:23 +0000137 def setup(self):
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000138 self.owin = owin = OutputWindow(self.flist)
David Scherer7aced172000-08-15 01:13:23 +0000139 text = owin.text
David Scherer7aced172000-08-15 01:13:23 +0000140 for tag, cnf in self.tagdefs.items():
141 if cnf:
Raymond Hettinger931237e2003-07-09 18:48:24 +0000142 text.tag_configure(tag, **cnf)
David Scherer7aced172000-08-15 01:13:23 +0000143 text.tag_raise('sel')
Kurt B. Kaiser969de452002-06-12 03:28:57 +0000144 self.write = self.owin.write
145
146#class PseudoFile:
147#
148# def __init__(self, owin, tags, mark="end"):
149# self.owin = owin
150# self.tags = tags
151# self.mark = mark
152
153# def write(self, s):
154# self.owin.write(s, self.tags, self.mark)
155
156# def writelines(self, l):
157# map(self.write, l)
158
159# def flush(self):
160# pass