• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1from Tkinter import *
2from idlelib.EditorWindow import EditorWindow
3import re
4import tkMessageBox
5from idlelib import IOBinding
6
7class OutputWindow(EditorWindow):
8
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.
13    """
14
15    def __init__(self, *args):
16        EditorWindow.__init__(self, *args)
17        self.text.bind("<<goto-file-line>>", self.goto_file_line)
18
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
28    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
35    # Act as output file
36
37    def write(self, s, tags=(), mark="insert"):
38        # 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:
42                s = unicode(s, IOBinding.encoding)
43            except UnicodeError:
44                # some other encoding; let Tcl deal with it
45                pass
46        self.text.insert(mark, s, tags)
47        self.text.see(mark)
48        self.text.update()
49
50    def writelines(self, lines):
51        for line in lines:
52            self.write(line)
53
54    def flush(self):
55        pass
56
57    # Our own right-button menu
58
59    rmenu_specs = [
60        ("Cut", "<<cut>>", "rmenu_check_cut"),
61        ("Copy", "<<copy>>", "rmenu_check_copy"),
62        ("Paste", "<<paste>>", "rmenu_check_paste"),
63        (None, None, None),
64        ("Go to file/line", "<<goto-file-line>>", None),
65    ]
66
67    file_line_pats = [
68        # order of patterns matters
69        r'file "([^"]*)", line (\d+)',
70        r'([^\s]+)\((\d+)\)',
71        r'^(\s*\S.*?):\s*(\d+):',  # Win filename, maybe starting with spaces
72        r'([^\s]+):\s*(\d+):',     # filename or path, ltrim
73        r'^\s*(\S.*?):\s*(\d+):',  # Win abs path with embedded spaces, ltrim
74    ]
75
76    file_line_progs = None
77
78    def goto_file_line(self, event=None):
79        if self.file_line_progs is None:
80            l = []
81            for pat in self.file_line_pats:
82                l.append(re.compile(pat, re.IGNORECASE))
83            self.file_line_progs = l
84        # x, y = self.event.x, self.event.y
85        # self.text.mark_set("insert", "@%d,%d" % (x, y))
86        line = self.text.get("insert linestart", "insert lineend")
87        result = self._file_line_helper(line)
88        if not result:
89            # Try the previous line.  This is handy e.g. in tracebacks,
90            # where you tend to right-click on the displayed source line
91            line = self.text.get("insert -1line linestart",
92                                 "insert -1line lineend")
93            result = self._file_line_helper(line)
94            if not result:
95                tkMessageBox.showerror(
96                    "No special line",
97                    "The line you point at doesn't look like "
98                    "a valid file name followed by a line number.",
99                    parent=self.text)
100                return
101        filename, lineno = result
102        edit = self.flist.open(filename)
103        edit.gotoline(lineno)
104
105    def _file_line_helper(self, line):
106        for prog in self.file_line_progs:
107            match = prog.search(line)
108            if match:
109                filename, lineno = match.group(1, 2)
110                try:
111                    f = open(filename, "r")
112                    f.close()
113                    break
114                except IOError:
115                    continue
116        else:
117            return None
118        try:
119            return filename, int(lineno)
120        except TypeError:
121            return None
122
123# These classes are currently not used but might come in handy
124
125class OnDemandOutputWindow:
126
127    tagdefs = {
128        # XXX Should use IdlePrefs.ColorPrefs
129        "stdout":  {"foreground": "blue"},
130        "stderr":  {"foreground": "#007700"},
131    }
132
133    def __init__(self, flist):
134        self.flist = flist
135        self.owin = None
136
137    def write(self, s, tags, mark):
138        if not self.owin:
139            self.setup()
140        self.owin.write(s, tags, mark)
141
142    def setup(self):
143        self.owin = owin = OutputWindow(self.flist)
144        text = owin.text
145        for tag, cnf in self.tagdefs.items():
146            if cnf:
147                text.tag_configure(tag, **cnf)
148        text.tag_raise('sel')
149        self.write = self.owin.write
150