OutputWindow.py 3.98 KB
Newer Older
David Scherer's avatar
David Scherer committed
1 2 3 4 5
from Tkinter import *
from EditorWindow import EditorWindow
import re
import tkMessageBox

6
class OutputWindow(EditorWindow):
David Scherer's avatar
David Scherer committed
7

8
    """An editor window that can serve as an output file.
David Scherer's avatar
David Scherer committed
9

10 11
    Also the future base class for the Python shell window.
    This class has no input facilities.
David Scherer's avatar
David Scherer committed
12 13
    """

14
    def __init__(self, *args):
David Scherer's avatar
David Scherer committed
15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35
        apply(EditorWindow.__init__, (self,) + args)
        self.text.bind("<<goto-file-line>>", self.goto_file_line)

    # Customize EditorWindow

    def ispythonsource(self, filename):
        # No colorization needed
        return 0

    def short_title(self):
        return "Output"

    def maybesave(self):
        # Override base class method -- don't ask any questions
        if self.get_saved():
            return "yes"
        else:
            return "no"

    # Act as output file

36
    def write(self, s, tags=(), mark="insert"):
37
        self.text.insert(mark, s, tags)
David Scherer's avatar
David Scherer committed
38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84
        self.text.see(mark)
        self.text.update()

    def writelines(self, l):
        map(self.write, l)

    def flush(self):
        pass

    # Our own right-button menu

    rmenu_specs = [
        ("Go to file/line", "<<goto-file-line>>"),
    ]

    file_line_pats = [
        r'file "([^"]*)", line (\d+)',
        r'([^\s]+)\((\d+)\)',
        r'([^\s]+):\s*(\d+):',
    ]

    file_line_progs = None

    def goto_file_line(self, event=None):
        if self.file_line_progs is None:
            l = []
            for pat in self.file_line_pats:
                l.append(re.compile(pat, re.IGNORECASE))
            self.file_line_progs = l
        # x, y = self.event.x, self.event.y
        # self.text.mark_set("insert", "@%d,%d" % (x, y))
        line = self.text.get("insert linestart", "insert lineend")
        result = self._file_line_helper(line)
        if not result:
            # Try the previous line.  This is handy e.g. in tracebacks,
            # where you tend to right-click on the displayed source line
            line = self.text.get("insert -1line linestart",
                                 "insert -1line lineend")
            result = self._file_line_helper(line)
            if not result:
                tkMessageBox.showerror(
                    "No special line",
                    "The line you point at doesn't look like "
                    "a valid file name followed by a line number.",
                    master=self.text)
                return
        filename, lineno = result
85
        edit = self.flist.open(filename)
David Scherer's avatar
David Scherer committed
86 87 88 89 90 91 92 93 94 95
        edit.gotoline(lineno)

    def _file_line_helper(self, line):
        for prog in self.file_line_progs:
            m = prog.search(line)
            if m:
                break
        else:
            return None
        filename, lineno = m.group(1, 2)
96 97 98 99 100
        try:
            f = open(filename, "r")
            f.close()
        except IOError:
            return None
David Scherer's avatar
David Scherer committed
101 102 103 104 105
        try:
            return filename, int(lineno)
        except TypeError:
            return None

106
# These classes are currently not used but might come in handy
David Scherer's avatar
David Scherer committed
107 108 109 110 111 112

class OnDemandOutputWindow:

    tagdefs = {
        # XXX Should use IdlePrefs.ColorPrefs
        "stdout":  {"foreground": "blue"},
113 114 115
        "stderr":  {"foreground": "#007700"},
    }

David Scherer's avatar
David Scherer committed
116 117 118
    def __init__(self, flist):
        self.flist = flist
        self.owin = None
119 120 121

    def write(self, s, tags, mark):
        if not self.owin:
David Scherer's avatar
David Scherer committed
122 123 124 125
            self.setup()
        self.owin.write(s, tags, mark)

    def setup(self):
126
        self.owin = owin = OutputWindow(self.flist)
David Scherer's avatar
David Scherer committed
127 128 129 130 131
        text = owin.text
        for tag, cnf in self.tagdefs.items():
            if cnf:
                apply(text.tag_configure, (tag,), cnf)
        text.tag_raise('sel')
132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155
        self.write = self.owin.write

#class PseudoFile:
#
#      def __init__(self, owin, tags, mark="end"):
#          self.owin = owin
#          self.tags = tags
#          self.mark = mark

#      def write(self, s):
#          self.owin.write(s, self.tags, self.mark)

#      def writelines(self, l):
#          map(self.write, l)

#      def flush(self):
#          pass