home *** CD-ROM | disk | FTP | other *** search
/ PC World 2001 April / PCWorld_2001-04_cd.bin / Software / TemaCD / webclean / !!!python!!! / BeOpen-Python-2.0.exe / OUTPUTWINDOW.PY < prev    next >
Encoding:
Python Source  |  2000-09-28  |  4.1 KB  |  149 lines
  1. from Tkinter import *
  2. from EditorWindow import EditorWindow
  3. import re
  4. import tkMessageBox
  5.  
  6. class OutputWindow(EditorWindow):
  7.  
  8.     """An editor window that can serve as an output file.
  9.  
  10.     Also the future base class for the Python shell window.
  11.     This class has no input facilities.
  12.     """
  13.  
  14.     def __init__(self, *args):
  15.         apply(EditorWindow.__init__, (self,) + args)
  16.         self.text.bind("<<goto-file-line>>", self.goto_file_line)
  17.  
  18.     # Customize EditorWindow
  19.  
  20.     def ispythonsource(self, filename):
  21.         # No colorization needed
  22.         return 0
  23.  
  24.     def short_title(self):
  25.         return "Output"
  26.  
  27.     def maybesave(self):
  28.         # Override base class method -- don't ask any questions
  29.         if self.get_saved():
  30.             return "yes"
  31.         else:
  32.             return "no"
  33.  
  34.     # Act as output file
  35.  
  36.     def write(self, s, tags=(), mark="insert"):
  37.         self.text.insert(mark, str(s), tags)
  38.         self.text.see(mark)
  39.         self.text.update()
  40.  
  41.     def writelines(self, l):
  42.         map(self.write, l)
  43.  
  44.     def flush(self):
  45.         pass
  46.  
  47.     # Our own right-button menu
  48.  
  49.     rmenu_specs = [
  50.         ("Go to file/line", "<<goto-file-line>>"),
  51.     ]
  52.  
  53.     file_line_pats = [
  54.         r'file "([^"]*)", line (\d+)',
  55.         r'([^\s]+)\((\d+)\)',
  56.         r'([^\s]+):\s*(\d+):',
  57.     ]
  58.  
  59.     file_line_progs = None
  60.  
  61.     def goto_file_line(self, event=None):
  62.         if self.file_line_progs is None:
  63.             l = []
  64.             for pat in self.file_line_pats:
  65.                 l.append(re.compile(pat, re.IGNORECASE))
  66.             self.file_line_progs = l
  67.         # x, y = self.event.x, self.event.y
  68.         # self.text.mark_set("insert", "@%d,%d" % (x, y))
  69.         line = self.text.get("insert linestart", "insert lineend")
  70.         result = self._file_line_helper(line)
  71.         if not result:
  72.             # Try the previous line.  This is handy e.g. in tracebacks,
  73.             # where you tend to right-click on the displayed source line
  74.             line = self.text.get("insert -1line linestart",
  75.                                  "insert -1line lineend")
  76.             result = self._file_line_helper(line)
  77.             if not result:
  78.                 tkMessageBox.showerror(
  79.                     "No special line",
  80.                     "The line you point at doesn't look like "
  81.                     "a valid file name followed by a line number.",
  82.                     master=self.text)
  83.                 return
  84.         filename, lineno = result
  85.         edit = self.flist.open(filename)
  86.         edit.gotoline(lineno)
  87.  
  88.     def _file_line_helper(self, line):
  89.         for prog in self.file_line_progs:
  90.             m = prog.search(line)
  91.             if m:
  92.                 break
  93.         else:
  94.             return None
  95.         filename, lineno = m.group(1, 2)
  96.         try:
  97.             f = open(filename, "r")
  98.             f.close()
  99.         except IOError:
  100.             return None
  101.         try:
  102.             return filename, int(lineno)
  103.         except TypeError:
  104.             return None
  105.  
  106. # These classes are currently not used but might come in handy
  107.  
  108. class OnDemandOutputWindow:
  109.  
  110.     tagdefs = {
  111.         # XXX Should use IdlePrefs.ColorPrefs
  112.         "stdout":  {"foreground": "blue"},
  113.         "stderr":  {"foreground": "#007700"},
  114.     }   
  115.     
  116.     def __init__(self, flist):
  117.         self.flist = flist
  118.         self.owin = None
  119.     
  120.     def write(self, s, tags, mark):
  121.         if not self.owin:
  122.             self.setup()
  123.         self.owin.write(s, tags, mark)
  124.     
  125.     def setup(self):
  126.         self.owin = owin = OutputWindow(self.flist)
  127.         text = owin.text
  128.         for tag, cnf in self.tagdefs.items():
  129.             if cnf:
  130.                 apply(text.tag_configure, (tag,), cnf)
  131.         text.tag_raise('sel')
  132.         self.write = self.owin.write
  133.  
  134. class PseudoFile:
  135.  
  136.     def __init__(self, owin, tags, mark="end"):
  137.         self.owin = owin
  138.         self.tags = tags
  139.         self.mark = mark
  140.  
  141.     def write(self, s):
  142.         self.owin.write(s, self.tags, self.mark)
  143.  
  144.     def writelines(self, l):
  145.         map(self.write, l)
  146.  
  147.     def flush(self):
  148.         pass
  149.