home *** CD-ROM | disk | FTP | other *** search
/ PC World 2005 June / PCWorld_2005-06_cd.bin / software / vyzkuste / firewally / firewally.exe / framework-2.3.exe / OutputWindow.py < prev    next >
Text File  |  2003-12-30  |  4KB  |  158 lines
  1. from Tkinter import *
  2. from EditorWindow import EditorWindow
  3. import re
  4. import tkMessageBox
  5. import IOBinding
  6.  
  7. class 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.         r'file "([^"]*)", line (\d+)',
  64.         r'([^\s]+)\((\d+)\)',
  65.         r'([^\s]+):\s*(\d+):',
  66.     ]
  67.  
  68.     file_line_progs = None
  69.  
  70.     def goto_file_line(self, event=None):
  71.         if self.file_line_progs is None:
  72.             l = []
  73.             for pat in self.file_line_pats:
  74.                 l.append(re.compile(pat, re.IGNORECASE))
  75.             self.file_line_progs = l
  76.         # x, y = self.event.x, self.event.y
  77.         # self.text.mark_set("insert", "@%d,%d" % (x, y))
  78.         line = self.text.get("insert linestart", "insert lineend")
  79.         result = self._file_line_helper(line)
  80.         if not result:
  81.             # Try the previous line.  This is handy e.g. in tracebacks,
  82.             # where you tend to right-click on the displayed source line
  83.             line = self.text.get("insert -1line linestart",
  84.                                  "insert -1line lineend")
  85.             result = self._file_line_helper(line)
  86.             if not result:
  87.                 tkMessageBox.showerror(
  88.                     "No special line",
  89.                     "The line you point at doesn't look like "
  90.                     "a valid file name followed by a line number.",
  91.                     master=self.text)
  92.                 return
  93.         filename, lineno = result
  94.         edit = self.flist.open(filename)
  95.         edit.gotoline(lineno)
  96.  
  97.     def _file_line_helper(self, line):
  98.         for prog in self.file_line_progs:
  99.             m = prog.search(line)
  100.             if m:
  101.                 break
  102.         else:
  103.             return None
  104.         filename, lineno = m.group(1, 2)
  105.         try:
  106.             f = open(filename, "r")
  107.             f.close()
  108.         except IOError:
  109.             return None
  110.         try:
  111.             return filename, int(lineno)
  112.         except TypeError:
  113.             return None
  114.  
  115. # These classes are currently not used but might come in handy
  116.  
  117. class OnDemandOutputWindow:
  118.  
  119.     tagdefs = {
  120.         # XXX Should use IdlePrefs.ColorPrefs
  121.         "stdout":  {"foreground": "blue"},
  122.         "stderr":  {"foreground": "#007700"},
  123.     }
  124.  
  125.     def __init__(self, flist):
  126.         self.flist = flist
  127.         self.owin = None
  128.  
  129.     def write(self, s, tags, mark):
  130.         if not self.owin:
  131.             self.setup()
  132.         self.owin.write(s, tags, mark)
  133.  
  134.     def setup(self):
  135.         self.owin = owin = OutputWindow(self.flist)
  136.         text = owin.text
  137.         for tag, cnf in self.tagdefs.items():
  138.             if cnf:
  139.                 text.tag_configure(tag, **cnf)
  140.         text.tag_raise('sel')
  141.         self.write = self.owin.write
  142.  
  143. #class PseudoFile:
  144. #
  145. #      def __init__(self, owin, tags, mark="end"):
  146. #          self.owin = owin
  147. #          self.tags = tags
  148. #          self.mark = mark
  149.  
  150. #      def write(self, s):
  151. #          self.owin.write(s, self.tags, self.mark)
  152.  
  153. #      def writelines(self, l):
  154. #          map(self.write, l)
  155.  
  156. #      def flush(self):
  157. #          pass
  158.