mirror of
https://github.com/python/cpython.git
synced 2025-11-04 11:49:12 +00:00
137 lines
3.5 KiB
Python
137 lines
3.5 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")
|
|
for prog in self.file_line_progs:
|
|
m = prog.search(line)
|
|
if m:
|
|
break
|
|
else:
|
|
tkMessageBox.showerror("No special line",
|
|
"The line you point at doesn't look like "
|
|
"a file name followed by a line number.",
|
|
master=self.text)
|
|
return
|
|
filename, lineno = m.group(1, 2)
|
|
try:
|
|
f = open(filename, "r")
|
|
f.close()
|
|
except IOError, msg:
|
|
self.text.bell()
|
|
return
|
|
edit = self.flist.open(filename)
|
|
try:
|
|
lineno = int(lineno)
|
|
except ValueError, msg:
|
|
self.text.bell()
|
|
return
|
|
edit.gotoline(lineno)
|
|
|
|
# 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
|