David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 1 | import re |
Terry Jan Reedy | bfbaa6b | 2016-08-31 00:50:55 -0400 | [diff] [blame] | 2 | |
| 3 | from tkinter import * |
Georg Brandl | 14fc427 | 2008-05-17 18:39:55 +0000 | [diff] [blame] | 4 | import tkinter.messagebox as tkMessageBox |
Terry Jan Reedy | bfbaa6b | 2016-08-31 00:50:55 -0400 | [diff] [blame] | 5 | |
| 6 | from idlelib.editor import EditorWindow |
Terry Jan Reedy | 6fa5bdc | 2016-05-28 13:22:31 -0400 | [diff] [blame] | 7 | from idlelib import iomenu |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 8 | |
Terry Jan Reedy | bfbaa6b | 2016-08-31 00:50:55 -0400 | [diff] [blame] | 9 | |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 10 | class OutputWindow(EditorWindow): |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 11 | |
| 12 | """An editor window that can serve as an output file. |
| 13 | |
| 14 | Also the future base class for the Python shell window. |
| 15 | This class has no input facilities. |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 16 | """ |
| 17 | |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 18 | def __init__(self, *args): |
Raymond Hettinger | 931237e | 2003-07-09 18:48:24 +0000 | [diff] [blame] | 19 | EditorWindow.__init__(self, *args) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 20 | self.text.bind("<<goto-file-line>>", self.goto_file_line) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 21 | |
| 22 | # Customize EditorWindow |
| 23 | |
| 24 | def ispythonsource(self, filename): |
| 25 | # No colorization needed |
| 26 | return 0 |
| 27 | |
| 28 | def short_title(self): |
| 29 | return "Output" |
| 30 | |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 31 | def maybesave(self): |
| 32 | # Override base class method -- don't ask any questions |
| 33 | if self.get_saved(): |
| 34 | return "yes" |
| 35 | else: |
| 36 | return "no" |
| 37 | |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 38 | # Act as output file |
| 39 | |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 40 | def write(self, s, tags=(), mark="insert"): |
Guido van Rossum | 98297ee | 2007-11-06 21:34:58 +0000 | [diff] [blame] | 41 | if isinstance(s, (bytes, bytes)): |
Terry Jan Reedy | 6fa5bdc | 2016-05-28 13:22:31 -0400 | [diff] [blame] | 42 | s = s.decode(iomenu.encoding, "replace") |
Kurt B. Kaiser | d011636 | 2002-09-02 21:29:40 +0000 | [diff] [blame] | 43 | self.text.insert(mark, s, tags) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 44 | self.text.see(mark) |
| 45 | self.text.update() |
Martin v. Löwis | 30d5e6c | 2012-07-25 11:32:26 +0200 | [diff] [blame] | 46 | return len(s) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 47 | |
Kurt B. Kaiser | 66aaf74 | 2007-08-09 18:00:23 +0000 | [diff] [blame] | 48 | def writelines(self, lines): |
| 49 | for line in lines: |
| 50 | self.write(line) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 51 | |
| 52 | def flush(self): |
| 53 | pass |
| 54 | |
| 55 | # Our own right-button menu |
| 56 | |
| 57 | rmenu_specs = [ |
Andrew Svetlov | d183767 | 2012-11-01 22:41:19 +0200 | [diff] [blame] | 58 | ("Cut", "<<cut>>", "rmenu_check_cut"), |
| 59 | ("Copy", "<<copy>>", "rmenu_check_copy"), |
| 60 | ("Paste", "<<paste>>", "rmenu_check_paste"), |
| 61 | (None, None, None), |
| 62 | ("Go to file/line", "<<goto-file-line>>", None), |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 63 | ] |
| 64 | |
| 65 | file_line_pats = [ |
Kurt B. Kaiser | cef4b81 | 2009-05-06 03:23:37 +0000 | [diff] [blame] | 66 | # order of patterns matters |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 67 | r'file "([^"]*)", line (\d+)', |
| 68 | r'([^\s]+)\((\d+)\)', |
Kurt B. Kaiser | cef4b81 | 2009-05-06 03:23:37 +0000 | [diff] [blame] | 69 | r'^(\s*\S.*?):\s*(\d+):', # Win filename, maybe starting with spaces |
| 70 | r'([^\s]+):\s*(\d+):', # filename or path, ltrim |
| 71 | r'^\s*(\S.*?):\s*(\d+):', # Win abs path with embedded spaces, ltrim |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 72 | ] |
| 73 | |
| 74 | file_line_progs = None |
| 75 | |
| 76 | def goto_file_line(self, event=None): |
| 77 | if self.file_line_progs is None: |
| 78 | l = [] |
| 79 | for pat in self.file_line_pats: |
| 80 | l.append(re.compile(pat, re.IGNORECASE)) |
| 81 | self.file_line_progs = l |
| 82 | # x, y = self.event.x, self.event.y |
| 83 | # self.text.mark_set("insert", "@%d,%d" % (x, y)) |
| 84 | line = self.text.get("insert linestart", "insert lineend") |
| 85 | result = self._file_line_helper(line) |
| 86 | if not result: |
| 87 | # Try the previous line. This is handy e.g. in tracebacks, |
| 88 | # where you tend to right-click on the displayed source line |
| 89 | line = self.text.get("insert -1line linestart", |
| 90 | "insert -1line lineend") |
| 91 | result = self._file_line_helper(line) |
| 92 | if not result: |
| 93 | tkMessageBox.showerror( |
| 94 | "No special line", |
| 95 | "The line you point at doesn't look like " |
| 96 | "a valid file name followed by a line number.", |
Terry Jan Reedy | 3be2e54 | 2015-09-25 22:22:55 -0400 | [diff] [blame] | 97 | parent=self.text) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 98 | return |
| 99 | filename, lineno = result |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 100 | edit = self.flist.open(filename) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 101 | edit.gotoline(lineno) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 102 | |
| 103 | def _file_line_helper(self, line): |
| 104 | for prog in self.file_line_progs: |
Georg Brandl | 7b2669b | 2009-04-27 16:58:05 +0000 | [diff] [blame] | 105 | match = prog.search(line) |
| 106 | if match: |
| 107 | filename, lineno = match.group(1, 2) |
| 108 | try: |
| 109 | f = open(filename, "r") |
| 110 | f.close() |
| 111 | break |
Andrew Svetlov | f7a17b4 | 2012-12-25 16:47:37 +0200 | [diff] [blame] | 112 | except OSError: |
Georg Brandl | 7b2669b | 2009-04-27 16:58:05 +0000 | [diff] [blame] | 113 | continue |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 114 | else: |
| 115 | return None |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 116 | try: |
| 117 | return filename, int(lineno) |
| 118 | except TypeError: |
| 119 | return None |
| 120 | |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 121 | # These classes are currently not used but might come in handy |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 122 | |
| 123 | class OnDemandOutputWindow: |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 124 | |
| 125 | tagdefs = { |
| 126 | # XXX Should use IdlePrefs.ColorPrefs |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 127 | "stdout": {"foreground": "blue"}, |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 128 | "stderr": {"foreground": "#007700"}, |
| 129 | } |
| 130 | |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 131 | def __init__(self, flist): |
| 132 | self.flist = flist |
| 133 | self.owin = None |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 134 | |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 135 | def write(self, s, tags, mark): |
| 136 | if not self.owin: |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 137 | self.setup() |
| 138 | self.owin.write(s, tags, mark) |
| 139 | |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 140 | def setup(self): |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 141 | self.owin = owin = OutputWindow(self.flist) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 142 | text = owin.text |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 143 | for tag, cnf in self.tagdefs.items(): |
| 144 | if cnf: |
Raymond Hettinger | 931237e | 2003-07-09 18:48:24 +0000 | [diff] [blame] | 145 | text.tag_configure(tag, **cnf) |
David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 146 | text.tag_raise('sel') |
Kurt B. Kaiser | 969de45 | 2002-06-12 03:28:57 +0000 | [diff] [blame] | 147 | self.write = self.owin.write |