mirror of
https://github.com/python/cpython.git
synced 2024-12-18 06:14:00 +08:00
ba23bed340
and output windows) so that it if it doesn't succeed with the line at the cursor, it tries the line before that. This is handy with tracebacks, where my natural tendency is to click in the displayed source line rather than in the file/line indicator just above it. Now I can indulge this tendency. I factored out a helper and changed the error handling so that a non-existing file is treated as if the line didn't match -- this is handy because some function calls (e.g. "foo.bar(1)") match the grep pattern.
149 lines
4.0 KiB
Python
149 lines
4.0 KiB
Python
from Tkinter import *
|
|
from EditorWindow import EditorWindow
|
|
import re
|
|
import tkMessageBox
|
|
|
|
class OutputWindow(EditorWindow):
|
|
|
|
"""An editor window that can serve as an output file.
|
|
|
|
Also the future base class for the Python shell window.
|
|
This class has no input facilities.
|
|
"""
|
|
|
|
def __init__(self, *args):
|
|
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
|
|
|
|
def write(self, s, tags=(), mark="insert"):
|
|
self.text.insert(mark, str(s), tags)
|
|
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
|
|
edit = self.flist.open(filename)
|
|
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)
|
|
try:
|
|
f = open(filename, "r")
|
|
f.close()
|
|
except IOError:
|
|
return None
|
|
try:
|
|
return filename, int(lineno)
|
|
except TypeError:
|
|
return None
|
|
|
|
# These classes are currently not used but might come in handy
|
|
|
|
class OnDemandOutputWindow:
|
|
|
|
tagdefs = {
|
|
# XXX Should use IdlePrefs.ColorPrefs
|
|
"stdout": {"foreground": "blue"},
|
|
"stderr": {"foreground": "#007700"},
|
|
}
|
|
|
|
def __init__(self, flist):
|
|
self.flist = flist
|
|
self.owin = None
|
|
|
|
def write(self, s, tags, mark):
|
|
if not self.owin:
|
|
self.setup()
|
|
self.owin.write(s, tags, mark)
|
|
|
|
def setup(self):
|
|
self.owin = owin = OutputWindow(self.flist)
|
|
text = owin.text
|
|
for tag, cnf in self.tagdefs.items():
|
|
if cnf:
|
|
apply(text.tag_configure, (tag,), cnf)
|
|
text.tag_raise('sel')
|
|
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
|