/Lib/idlelib/OutputWindow.py

  1from Tkinter import *
  2from EditorWindow import EditorWindow
  3import re
  4import tkMessageBox
  5import 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, l):
 51        map(self.write, l)
 52
 53    def flush(self):
 54        pass
 55
 56    # Our own right-button menu
 57
 58    rmenu_specs = [
 59        ("Go to file/line", "<<goto-file-line>>"),
 60    ]
 61
 62    file_line_pats = [
 63        # order of patterns matters
 64        r'file "([^"]*)", line (\d+)',
 65        r'([^\s]+)\((\d+)\)',
 66        r'^(\s*\S.*?):\s*(\d+):',  # Win filename, maybe starting with spaces
 67        r'([^\s]+):\s*(\d+):',     # filename or path, ltrim
 68        r'^\s*(\S.*?):\s*(\d+):',  # Win abs path with embedded spaces, ltrim
 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
 97        edit = self.flist.open(filename)
 98        edit.gotoline(lineno)
 99
100    def _file_line_helper(self, line):
101        for prog in self.file_line_progs:
102            match = prog.search(line)
103            if match:
104                filename, lineno = match.group(1, 2)
105                try:
106                    f = open(filename, "r")
107                    f.close()
108                    break
109                except IOError:
110                    continue
111        else:
112            return None
113        try:
114            return filename, int(lineno)
115        except TypeError:
116            return None
117
118# These classes are currently not used but might come in handy
119
120class OnDemandOutputWindow:
121
122    tagdefs = {
123        # XXX Should use IdlePrefs.ColorPrefs
124        "stdout":  {"foreground": "blue"},
125        "stderr":  {"foreground": "#007700"},
126    }
127
128    def __init__(self, flist):
129        self.flist = flist
130        self.owin = None
131
132    def write(self, s, tags, mark):
133        if not self.owin:
134            self.setup()
135        self.owin.write(s, tags, mark)
136
137    def setup(self):
138        self.owin = owin = OutputWindow(self.flist)
139        text = owin.text
140        for tag, cnf in self.tagdefs.items():
141            if cnf:
142                text.tag_configure(tag, **cnf)
143        text.tag_raise('sel')
144        self.write = self.owin.write