blob: 59440f09b21e43aae53950e8ec5521dea7e03975 [file] [log] [blame]
David Scherer7aced172000-08-15 01:13:23 +00001import sys
2import os
David Scherer7aced172000-08-15 01:13:23 +00003import re
4import imp
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +00005from itertools import count
David Scherer7aced172000-08-15 01:13:23 +00006from Tkinter import *
7import tkSimpleDialog
8import tkMessageBox
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00009from MultiCall import MultiCallCreator
Kurt B. Kaiserfd182cd2001-07-14 03:58:25 +000010
11import webbrowser
David Scherer7aced172000-08-15 01:13:23 +000012import idlever
13import WindowList
Steven M. Gavac5976402002-01-04 03:06:08 +000014import SearchDialog
15import GrepDialog
16import ReplaceDialog
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +000017import PyParse
Steven M. Gavadc72f482002-01-03 11:51:07 +000018from configHandler import idleConf
Steven M. Gava3b55a892001-11-21 05:56:26 +000019import aboutDialog, textView, configDialog
David Scherer7aced172000-08-15 01:13:23 +000020
21# The default tab setting for a Text widget, in average-width characters.
22TK_TABWIDTH_DEFAULT = 8
23
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +000024def _find_module(fullname, path=None):
25 """Version of imp.find_module() that handles hierarchical module names"""
26
27 file = None
28 for tgt in fullname.split('.'):
29 if file is not None:
30 file.close() # close intermediate files
31 (file, filename, descr) = imp.find_module(tgt, path)
32 if descr[2] == imp.PY_SOURCE:
33 break # find but not load the source file
34 module = imp.load_module(tgt, file, filename, descr)
Kurt B. Kaiser69e8afc2003-01-10 21:25:20 +000035 try:
36 path = module.__path__
37 except AttributeError:
38 raise ImportError, 'No source for module ' + module.__name__
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +000039 return file, filename, descr
40
Kurt B. Kaiserdcba6622004-12-21 22:10:32 +000041class EditorWindow(object):
David Scherer7aced172000-08-15 01:13:23 +000042 from Percolator import Percolator
43 from ColorDelegator import ColorDelegator
44 from UndoDelegator import UndoDelegator
Martin v. Löwis307021f2005-11-27 16:59:04 +000045 from IOBinding import IOBinding, filesystemencoding, encoding
David Scherer7aced172000-08-15 01:13:23 +000046 import Bindings
47 from Tkinter import Toplevel
48 from MultiStatusBar import MultiStatusBar
49
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000050 help_url = None
David Scherer7aced172000-08-15 01:13:23 +000051
52 def __init__(self, flist=None, filename=None, key=None, root=None):
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000053 if EditorWindow.help_url is None:
Thomas Heller84ef1532003-09-23 20:53:10 +000054 dochome = os.path.join(sys.prefix, 'Doc', 'index.html')
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000055 if sys.platform.count('linux'):
56 # look for html docs in a couple of standard places
57 pyver = 'python-docs-' + '%s.%s.%s' % sys.version_info[:3]
58 if os.path.isdir('/var/www/html/python/'): # "python2" rpm
59 dochome = '/var/www/html/python/index.html'
60 else:
61 basepath = '/usr/share/doc/' # standard location
62 dochome = os.path.join(basepath, pyver,
63 'Doc', 'index.html')
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +000064 elif sys.platform[:3] == 'win':
Kurt B. Kaiser090e6362004-07-21 03:33:58 +000065 chmfile = os.path.join(sys.prefix, 'Doc',
66 'Python%d%d.chm' % sys.version_info[:2])
Thomas Heller84ef1532003-09-23 20:53:10 +000067 if os.path.isfile(chmfile):
68 dochome = chmfile
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000069 dochome = os.path.normpath(dochome)
70 if os.path.isfile(dochome):
71 EditorWindow.help_url = dochome
72 else:
73 EditorWindow.help_url = "http://www.python.org/doc/current"
Steven M. Gavadc72f482002-01-03 11:51:07 +000074 currentTheme=idleConf.CurrentTheme()
David Scherer7aced172000-08-15 01:13:23 +000075 self.flist = flist
76 root = root or flist.root
77 self.root = root
David Scherer7aced172000-08-15 01:13:23 +000078 self.menubar = Menu(root)
Kurt B. Kaiser183403a2004-08-22 05:14:32 +000079 self.top = top = WindowList.ListedToplevel(root, menu=self.menubar)
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +000080 if flist:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +000081 self.tkinter_vars = flist.vars
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +000082 #self.top.instance_dict makes flist.inversedict avalable to
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +000083 #configDialog.py so it can access all EditorWindow instaces
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +000084 self.top.instance_dict=flist.inversedict
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +000085 else:
86 self.tkinter_vars = {} # keys: Tkinter event names
87 # values: Tkinter variable instances
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +000088 self.recent_files_path=os.path.join(idleConf.GetUserCfgDir(),
Steven M. Gava1d46e402002-03-27 08:40:46 +000089 'recent-files.lst')
David Scherer7aced172000-08-15 01:13:23 +000090 self.vbar = vbar = Scrollbar(top, name='vbar')
91 self.text_frame = text_frame = Frame(top)
Kurt B. Kaiser1061e722003-01-04 01:43:53 +000092 self.width = idleConf.GetOption('main','EditorWindow','width')
Kurt B. Kaiserb1754452005-11-18 22:05:48 +000093 self.text = text = MultiCallCreator(Text)(
94 text_frame, name='text', padx=5, wrap='none',
Steven M. Gavadc72f482002-01-03 11:51:07 +000095 foreground=idleConf.GetHighlight(currentTheme,
96 'normal',fgBg='fg'),
97 background=idleConf.GetHighlight(currentTheme,
98 'normal',fgBg='bg'),
99 highlightcolor=idleConf.GetHighlight(currentTheme,
100 'hilite',fgBg='fg'),
101 highlightbackground=idleConf.GetHighlight(currentTheme,
102 'hilite',fgBg='bg'),
103 insertbackground=idleConf.GetHighlight(currentTheme,
104 'cursor',fgBg='fg'),
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000105 width=self.width,
Steven M. Gavadc72f482002-01-03 11:51:07 +0000106 height=idleConf.GetOption('main','EditorWindow','height') )
Kurt B. Kaiser183403a2004-08-22 05:14:32 +0000107 self.top.focused_widget = self.text
David Scherer7aced172000-08-15 01:13:23 +0000108
109 self.createmenubar()
110 self.apply_bindings()
111
112 self.top.protocol("WM_DELETE_WINDOW", self.close)
113 self.top.bind("<<close-window>>", self.close_event)
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000114 text.bind("<<cut>>", self.cut)
115 text.bind("<<copy>>", self.copy)
116 text.bind("<<paste>>", self.paste)
David Scherer7aced172000-08-15 01:13:23 +0000117 text.bind("<<center-insert>>", self.center_insert_event)
118 text.bind("<<help>>", self.help_dialog)
David Scherer7aced172000-08-15 01:13:23 +0000119 text.bind("<<python-docs>>", self.python_docs)
120 text.bind("<<about-idle>>", self.about_dialog)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000121 text.bind("<<open-config-dialog>>", self.config_dialog)
David Scherer7aced172000-08-15 01:13:23 +0000122 text.bind("<<open-module>>", self.open_module)
123 text.bind("<<do-nothing>>", lambda event: "break")
124 text.bind("<<select-all>>", self.select_all)
125 text.bind("<<remove-selection>>", self.remove_selection)
Steven M. Gavac5976402002-01-04 03:06:08 +0000126 text.bind("<<find>>", self.find_event)
127 text.bind("<<find-again>>", self.find_again_event)
128 text.bind("<<find-in-files>>", self.find_in_files_event)
129 text.bind("<<find-selection>>", self.find_selection_event)
130 text.bind("<<replace>>", self.replace_event)
131 text.bind("<<goto-line>>", self.goto_line_event)
David Scherer7aced172000-08-15 01:13:23 +0000132 text.bind("<3>", self.right_menu_event)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +0000133 text.bind("<<smart-backspace>>",self.smart_backspace_event)
134 text.bind("<<newline-and-indent>>",self.newline_and_indent_event)
135 text.bind("<<smart-indent>>",self.smart_indent_event)
136 text.bind("<<indent-region>>",self.indent_region_event)
137 text.bind("<<dedent-region>>",self.dedent_region_event)
138 text.bind("<<comment-region>>",self.comment_region_event)
139 text.bind("<<uncomment-region>>",self.uncomment_region_event)
140 text.bind("<<tabify-region>>",self.tabify_region_event)
141 text.bind("<<untabify-region>>",self.untabify_region_event)
142 text.bind("<<toggle-tabs>>",self.toggle_tabs_event)
143 text.bind("<<change-indentwidth>>",self.change_indentwidth_event)
Kurt B. Kaiser5ec186b2003-01-17 04:04:06 +0000144 text.bind("<Left>", self.move_at_edge_if_selection(0))
145 text.bind("<Right>", self.move_at_edge_if_selection(1))
Kurt B. Kaiser3069dbb2005-01-28 00:16:16 +0000146 text.bind("<<del-word-left>>", self.del_word_left)
147 text.bind("<<del-word-right>>", self.del_word_right)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000148
David Scherer7aced172000-08-15 01:13:23 +0000149 if flist:
150 flist.inversedict[self] = key
151 if key:
152 flist.dict[key] = self
Kurt B. Kaiserd2f48612003-06-05 02:34:04 +0000153 text.bind("<<open-new-window>>", self.new_callback)
David Scherer7aced172000-08-15 01:13:23 +0000154 text.bind("<<close-all-windows>>", self.flist.close_all_callback)
155 text.bind("<<open-class-browser>>", self.open_class_browser)
156 text.bind("<<open-path-browser>>", self.open_path_browser)
157
Steven M. Gava898a3652001-10-07 11:10:44 +0000158 self.set_status_bar()
David Scherer7aced172000-08-15 01:13:23 +0000159 vbar['command'] = text.yview
160 vbar.pack(side=RIGHT, fill=Y)
David Scherer7aced172000-08-15 01:13:23 +0000161 text['yscrollcommand'] = vbar.set
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000162 fontWeight = 'normal'
163 if idleConf.GetOption('main', 'EditorWindow', 'font-bold', type='bool'):
Steven M. Gavab1585412002-03-12 00:21:56 +0000164 fontWeight='bold'
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000165 text.config(font=(idleConf.GetOption('main', 'EditorWindow', 'font'),
166 idleConf.GetOption('main', 'EditorWindow', 'font-size'),
167 fontWeight))
David Scherer7aced172000-08-15 01:13:23 +0000168 text_frame.pack(side=LEFT, fill=BOTH, expand=1)
169 text.pack(side=TOP, fill=BOTH, expand=1)
170 text.focus_set()
171
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000172 # usetabs true -> literal tab characters are used by indent and
173 # dedent cmds, possibly mixed with spaces if
174 # indentwidth is not a multiple of tabwidth,
175 # which will cause Tabnanny to nag!
176 # false -> tab characters are converted to spaces by indent
177 # and dedent cmds, and ditto TAB keystrokes
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000178 # Although use-spaces=0 can be configured manually in config-main.def,
179 # configuration of tabs v. spaces is not supported in the configuration
180 # dialog. IDLE promotes the preferred Python indentation: use spaces!
181 usespaces = idleConf.GetOption('main', 'Indent', 'use-spaces', type='bool')
182 self.usetabs = not usespaces
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000183
184 # tabwidth is the display width of a literal tab character.
185 # CAUTION: telling Tk to use anything other than its default
186 # tab setting causes it to use an entirely different tabbing algorithm,
187 # treating tab stops as fixed distances from the left margin.
188 # Nobody expects this, so for now tabwidth should never be changed.
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000189 self.tabwidth = 8 # must remain 8 until Tk is fixed.
190
191 # indentwidth is the number of screen characters per indent level.
192 # The recommended Python indentation is four spaces.
193 self.indentwidth = self.tabwidth
194 self.set_notabs_indentwidth()
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000195
196 # If context_use_ps1 is true, parsing searches back for a ps1 line;
197 # else searches for a popular (if, def, ...) Python stmt.
198 self.context_use_ps1 = False
199
200 # When searching backwards for a reliable place to begin parsing,
201 # first start num_context_lines[0] lines back, then
202 # num_context_lines[1] lines back if that didn't work, and so on.
203 # The last value should be huge (larger than the # of lines in a
204 # conceivable file).
205 # Making the initial values larger slows things down more often.
206 self.num_context_lines = 50, 500, 5000000
207
David Scherer7aced172000-08-15 01:13:23 +0000208 self.per = per = self.Percolator(text)
209 if self.ispythonsource(filename):
Kurt B. Kaiserdc1e7092002-07-11 04:33:41 +0000210 self.color = color = self.ColorDelegator()
211 per.insertfilter(color)
David Scherer7aced172000-08-15 01:13:23 +0000212 else:
David Scherer7aced172000-08-15 01:13:23 +0000213 self.color = None
Kurt B. Kaiserdc1e7092002-07-11 04:33:41 +0000214
215 self.undo = undo = self.UndoDelegator()
216 per.insertfilter(undo)
217 text.undo_block_start = undo.undo_block_start
218 text.undo_block_stop = undo.undo_block_stop
219 undo.set_saved_change_hook(self.saved_change_hook)
220
221 # IOBinding implements file I/O and printing functionality
David Scherer7aced172000-08-15 01:13:23 +0000222 self.io = io = self.IOBinding(self)
Kurt B. Kaiserdc1e7092002-07-11 04:33:41 +0000223 io.set_filename_change_hook(self.filename_change_hook)
224
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000225 # Create the recent files submenu
226 self.recent_files_menu = Menu(self.menubar)
227 self.menudict['file'].insert_cascade(3, label='Recent Files',
228 underline=0,
229 menu=self.recent_files_menu)
230 self.update_recent_files_list()
David Scherer7aced172000-08-15 01:13:23 +0000231
David Scherer7aced172000-08-15 01:13:23 +0000232 if filename:
Kurt B. Kaiserd2f48612003-06-05 02:34:04 +0000233 if os.path.exists(filename) and not os.path.isdir(filename):
David Scherer7aced172000-08-15 01:13:23 +0000234 io.loadfile(filename)
235 else:
236 io.set_filename(filename)
David Scherer7aced172000-08-15 01:13:23 +0000237 self.saved_change_hook()
238
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000239 self.set_indentation_params(self.ispythonsource(filename))
240
David Scherer7aced172000-08-15 01:13:23 +0000241 self.load_extensions()
242
243 menu = self.menudict.get('windows')
244 if menu:
245 end = menu.index("end")
246 if end is None:
247 end = -1
248 if end >= 0:
249 menu.add_separator()
250 end = end + 1
251 self.wmenu_end = end
252 WindowList.register_callback(self.postwindowsmenu)
253
254 # Some abstractions so IDLE extensions are cross-IDE
255 self.askyesno = tkMessageBox.askyesno
256 self.askinteger = tkSimpleDialog.askinteger
257 self.showerror = tkMessageBox.showerror
258
Martin v. Löwis307021f2005-11-27 16:59:04 +0000259 def _filename_to_unicode(self, filename):
260 """convert filename to unicode in order to display it in Tk"""
261 if isinstance(filename, unicode) or not filename:
262 return filename
263 else:
264 try:
265 return filename.decode(self.filesystemencoding)
266 except UnicodeDecodeError:
267 # XXX
268 try:
269 return filename.decode(self.encoding)
270 except UnicodeDecodeError:
271 # byte-to-byte conversion
272 return filename.decode('iso8859-1')
273
Kurt B. Kaiserd2f48612003-06-05 02:34:04 +0000274 def new_callback(self, event):
275 dirname, basename = self.io.defaultfilename()
276 self.flist.new(dirname)
277 return "break"
278
David Scherer7aced172000-08-15 01:13:23 +0000279 def set_status_bar(self):
Steven M. Gava898a3652001-10-07 11:10:44 +0000280 self.status_bar = self.MultiStatusBar(self.top)
David Scherer7aced172000-08-15 01:13:23 +0000281 self.status_bar.set_label('column', 'Col: ?', side=RIGHT)
282 self.status_bar.set_label('line', 'Ln: ?', side=RIGHT)
283 self.status_bar.pack(side=BOTTOM, fill=X)
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000284 self.text.bind("<<set-line-and-column>>", self.set_line_and_column)
285 self.text.event_add("<<set-line-and-column>>",
286 "<KeyRelease>", "<ButtonRelease>")
David Scherer7aced172000-08-15 01:13:23 +0000287 self.text.after_idle(self.set_line_and_column)
288
289 def set_line_and_column(self, event=None):
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000290 line, column = self.text.index(INSERT).split('.')
David Scherer7aced172000-08-15 01:13:23 +0000291 self.status_bar.set_label('column', 'Col: %s' % column)
292 self.status_bar.set_label('line', 'Ln: %s' % line)
293
David Scherer7aced172000-08-15 01:13:23 +0000294 menu_specs = [
295 ("file", "_File"),
296 ("edit", "_Edit"),
297 ("format", "F_ormat"),
298 ("run", "_Run"),
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000299 ("options", "_Options"),
David Scherer7aced172000-08-15 01:13:23 +0000300 ("windows", "_Windows"),
301 ("help", "_Help"),
302 ]
303
304 def createmenubar(self):
305 mbar = self.menubar
306 self.menudict = menudict = {}
307 for name, label in self.menu_specs:
308 underline, label = prepstr(label)
309 menudict[name] = menu = Menu(mbar, name=name)
310 mbar.add_cascade(label=label, menu=menu, underline=underline)
311 self.fill_menus()
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000312 self.base_helpmenu_length = self.menudict['help'].index(END)
313 self.reset_help_menu_entries()
David Scherer7aced172000-08-15 01:13:23 +0000314
315 def postwindowsmenu(self):
316 # Only called when Windows menu exists
David Scherer7aced172000-08-15 01:13:23 +0000317 menu = self.menudict['windows']
318 end = menu.index("end")
319 if end is None:
320 end = -1
321 if end > self.wmenu_end:
322 menu.delete(self.wmenu_end+1, end)
323 WindowList.add_windows_to_menu(menu)
324
325 rmenu = None
326
327 def right_menu_event(self, event):
328 self.text.tag_remove("sel", "1.0", "end")
329 self.text.mark_set("insert", "@%d,%d" % (event.x, event.y))
330 if not self.rmenu:
331 self.make_rmenu()
332 rmenu = self.rmenu
333 self.event = event
334 iswin = sys.platform[:3] == 'win'
335 if iswin:
336 self.text.config(cursor="arrow")
337 rmenu.tk_popup(event.x_root, event.y_root)
338 if iswin:
339 self.text.config(cursor="ibeam")
340
341 rmenu_specs = [
342 # ("Label", "<<virtual-event>>"), ...
343 ("Close", "<<close-window>>"), # Example
344 ]
345
346 def make_rmenu(self):
347 rmenu = Menu(self.text, tearoff=0)
348 for label, eventname in self.rmenu_specs:
349 def command(text=self.text, eventname=eventname):
350 text.event_generate(eventname)
351 rmenu.add_command(label=label, command=command)
352 self.rmenu = rmenu
353
354 def about_dialog(self, event=None):
Kurt B. Kaiserd78b2302003-06-12 04:03:49 +0000355 aboutDialog.AboutDialog(self.top,'About IDLE')
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000356
Steven M. Gava3b55a892001-11-21 05:56:26 +0000357 def config_dialog(self, event=None):
358 configDialog.ConfigDialog(self.top,'Settings')
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000359
David Scherer7aced172000-08-15 01:13:23 +0000360 def help_dialog(self, event=None):
Steven M. Gavab9d07b52001-07-31 11:11:38 +0000361 fn=os.path.join(os.path.abspath(os.path.dirname(__file__)),'help.txt')
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000362 textView.TextViewer(self.top,'Help',fn)
363
Kurt B. Kaiser114713d2003-01-10 05:07:24 +0000364 def python_docs(self, event=None):
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +0000365 if sys.platform[:3] == 'win':
Steven M. Gava931625d2002-04-22 00:38:26 +0000366 os.startfile(self.help_url)
Kurt B. Kaiser114713d2003-01-10 05:07:24 +0000367 else:
368 webbrowser.open(self.help_url)
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +0000369 return "break"
David Scherer7aced172000-08-15 01:13:23 +0000370
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000371 def cut(self,event):
372 self.text.event_generate("<<Cut>>")
373 return "break"
374
375 def copy(self,event):
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000376 if not self.text.tag_ranges("sel"):
377 # There is no selection, so do nothing and maybe interrupt.
378 return
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000379 self.text.event_generate("<<Copy>>")
380 return "break"
381
382 def paste(self,event):
383 self.text.event_generate("<<Paste>>")
384 return "break"
385
David Scherer7aced172000-08-15 01:13:23 +0000386 def select_all(self, event=None):
387 self.text.tag_add("sel", "1.0", "end-1c")
388 self.text.mark_set("insert", "1.0")
389 self.text.see("insert")
390 return "break"
391
392 def remove_selection(self, event=None):
393 self.text.tag_remove("sel", "1.0", "end")
394 self.text.see("insert")
395
Kurt B. Kaiser5ec186b2003-01-17 04:04:06 +0000396 def move_at_edge_if_selection(self, edge_index):
397 """Cursor move begins at start or end of selection
398
399 When a left/right cursor key is pressed create and return to Tkinter a
400 function which causes a cursor move from the associated edge of the
401 selection.
402
403 """
404 self_text_index = self.text.index
405 self_text_mark_set = self.text.mark_set
406 edges_table = ("sel.first+1c", "sel.last-1c")
407 def move_at_edge(event):
408 if (event.state & 5) == 0: # no shift(==1) or control(==4) pressed
409 try:
410 self_text_index("sel.first")
411 self_text_mark_set("insert", edges_table[edge_index])
412 except TclError:
413 pass
414 return move_at_edge
415
Kurt B. Kaiser3069dbb2005-01-28 00:16:16 +0000416 def del_word_left(self, event):
417 self.text.event_generate('<Meta-Delete>')
418 return "break"
419
420 def del_word_right(self, event):
421 self.text.event_generate('<Meta-d>')
422 return "break"
423
Steven M. Gavac5976402002-01-04 03:06:08 +0000424 def find_event(self, event):
425 SearchDialog.find(self.text)
426 return "break"
427
428 def find_again_event(self, event):
429 SearchDialog.find_again(self.text)
430 return "break"
431
432 def find_selection_event(self, event):
433 SearchDialog.find_selection(self.text)
434 return "break"
435
436 def find_in_files_event(self, event):
437 GrepDialog.grep(self.text, self.io, self.flist)
438 return "break"
439
440 def replace_event(self, event):
441 ReplaceDialog.replace(self.text)
442 return "break"
443
444 def goto_line_event(self, event):
445 text = self.text
446 lineno = tkSimpleDialog.askinteger("Goto",
447 "Go to line number:",parent=text)
448 if lineno is None:
449 return "break"
450 if lineno <= 0:
451 text.bell()
452 return "break"
453 text.mark_set("insert", "%d.0" % lineno)
454 text.see("insert")
455
David Scherer7aced172000-08-15 01:13:23 +0000456 def open_module(self, event=None):
457 # XXX Shouldn't this be in IOBinding or in FileList?
458 try:
459 name = self.text.get("sel.first", "sel.last")
460 except TclError:
461 name = ""
462 else:
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000463 name = name.strip()
Guido van Rossum852f35b2003-06-05 11:36:55 +0000464 name = tkSimpleDialog.askstring("Module",
465 "Enter the name of a Python module\n"
466 "to search on sys.path and open:",
467 parent=self.text, initialvalue=name)
468 if name:
469 name = name.strip()
David Scherer7aced172000-08-15 01:13:23 +0000470 if not name:
Guido van Rossum852f35b2003-06-05 11:36:55 +0000471 return
David Scherer7aced172000-08-15 01:13:23 +0000472 # XXX Ought to insert current file's directory in front of path
473 try:
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000474 (f, file, (suffix, mode, type)) = _find_module(name)
David Scherer7aced172000-08-15 01:13:23 +0000475 except (NameError, ImportError), msg:
476 tkMessageBox.showerror("Import error", str(msg), parent=self.text)
477 return
478 if type != imp.PY_SOURCE:
479 tkMessageBox.showerror("Unsupported type",
480 "%s is not a source module" % name, parent=self.text)
481 return
482 if f:
483 f.close()
484 if self.flist:
485 self.flist.open(file)
486 else:
487 self.io.loadfile(file)
488
489 def open_class_browser(self, event=None):
490 filename = self.io.filename
491 if not filename:
492 tkMessageBox.showerror(
493 "No filename",
494 "This buffer has no associated filename",
495 master=self.text)
496 self.text.focus_set()
497 return None
498 head, tail = os.path.split(filename)
499 base, ext = os.path.splitext(tail)
500 import ClassBrowser
501 ClassBrowser.ClassBrowser(self.flist, base, [head])
502
503 def open_path_browser(self, event=None):
504 import PathBrowser
505 PathBrowser.PathBrowser(self.flist)
506
507 def gotoline(self, lineno):
508 if lineno is not None and lineno > 0:
509 self.text.mark_set("insert", "%d.0" % lineno)
510 self.text.tag_remove("sel", "1.0", "end")
511 self.text.tag_add("sel", "insert", "insert +1l")
512 self.center()
513
514 def ispythonsource(self, filename):
Kurt B. Kaiserdf506ea2005-06-12 04:33:30 +0000515 if not filename or os.path.isdir(filename):
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000516 return True
David Scherer7aced172000-08-15 01:13:23 +0000517 base, ext = os.path.splitext(os.path.basename(filename))
518 if os.path.normcase(ext) in (".py", ".pyw"):
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000519 return True
David Scherer7aced172000-08-15 01:13:23 +0000520 try:
521 f = open(filename)
522 line = f.readline()
523 f.close()
524 except IOError:
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000525 return False
Kurt B. Kaiser83a35602002-12-20 17:18:03 +0000526 return line.startswith('#!') and line.find('python') >= 0
David Scherer7aced172000-08-15 01:13:23 +0000527
528 def close_hook(self):
529 if self.flist:
530 self.flist.close_edit(self)
531
532 def set_close_hook(self, close_hook):
533 self.close_hook = close_hook
534
535 def filename_change_hook(self):
536 if self.flist:
537 self.flist.filename_changed_edit(self)
538 self.saved_change_hook()
Kurt B. Kaiser260cb902003-06-06 21:58:38 +0000539 self.top.update_windowlist_registry(self)
David Scherer7aced172000-08-15 01:13:23 +0000540 if self.ispythonsource(self.io.filename):
541 self.addcolorizer()
542 else:
543 self.rmcolorizer()
544
545 def addcolorizer(self):
546 if self.color:
547 return
David Scherer7aced172000-08-15 01:13:23 +0000548 self.per.removefilter(self.undo)
549 self.color = self.ColorDelegator()
550 self.per.insertfilter(self.color)
551 self.per.insertfilter(self.undo)
552
553 def rmcolorizer(self):
554 if not self.color:
555 return
Kurt B. Kaiserdf506ea2005-06-12 04:33:30 +0000556 self.color.removecolors()
David Scherer7aced172000-08-15 01:13:23 +0000557 self.per.removefilter(self.undo)
558 self.per.removefilter(self.color)
559 self.color = None
560 self.per.insertfilter(self.undo)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000561
Steven M. Gavab77d3432002-03-02 07:16:21 +0000562 def ResetColorizer(self):
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000563 "Update the colour theme if it is changed"
564 # Called from configDialog.py
Steven M. Gavab77d3432002-03-02 07:16:21 +0000565 if self.color:
566 self.color = self.ColorDelegator()
567 self.per.insertfilter(self.color)
Kurt B. Kaiser73360a32004-03-08 18:15:31 +0000568 theme = idleConf.GetOption('main','Theme','name')
569 self.text.config(idleConf.GetHighlight(theme, "normal"))
David Scherer7aced172000-08-15 01:13:23 +0000570
Steven M. Gavab1585412002-03-12 00:21:56 +0000571 def ResetFont(self):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000572 "Update the text widgets' font if it is changed"
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000573 # Called from configDialog.py
Steven M. Gavab1585412002-03-12 00:21:56 +0000574 fontWeight='normal'
575 if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
576 fontWeight='bold'
577 self.text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
578 idleConf.GetOption('main','EditorWindow','font-size'),
579 fontWeight))
580
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000581 def RemoveKeybindings(self):
582 "Remove the keybindings before they are changed."
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000583 # Called from configDialog.py
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000584 self.Bindings.default_keydefs = keydefs = idleConf.GetCurrentKeySet()
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000585 for event, keylist in keydefs.items():
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000586 self.text.event_delete(event, *keylist)
587 for extensionName in self.get_standard_extension_names():
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000588 xkeydefs = idleConf.GetExtensionBindings(extensionName)
589 if xkeydefs:
590 for event, keylist in xkeydefs.items():
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000591 self.text.event_delete(event, *keylist)
592
593 def ApplyKeybindings(self):
594 "Update the keybindings after they are changed"
595 # Called from configDialog.py
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000596 self.Bindings.default_keydefs = keydefs = idleConf.GetCurrentKeySet()
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000597 self.apply_bindings()
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000598 for extensionName in self.get_standard_extension_names():
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000599 xkeydefs = idleConf.GetExtensionBindings(extensionName)
600 if xkeydefs:
601 self.apply_bindings(xkeydefs)
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000602 #update menu accelerators
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000603 menuEventDict = {}
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000604 for menu in self.Bindings.menudefs:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000605 menuEventDict[menu[0]] = {}
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000606 for item in menu[1]:
607 if item:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000608 menuEventDict[menu[0]][prepstr(item[0])[1]] = item[1]
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000609 for menubarItem in self.menudict.keys():
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000610 menu = self.menudict[menubarItem]
611 end = menu.index(END) + 1
612 for index in range(0, end):
613 if menu.type(index) == 'command':
614 accel = menu.entrycget(index, 'accelerator')
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000615 if accel:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000616 itemName = menu.entrycget(index, 'label')
617 event = ''
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000618 if menuEventDict.has_key(menubarItem):
619 if menuEventDict[menubarItem].has_key(itemName):
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000620 event = menuEventDict[menubarItem][itemName]
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000621 if event:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000622 accel = get_accelerator(keydefs, event)
623 menu.entryconfig(index, accelerator=accel)
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000624
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000625 def set_notabs_indentwidth(self):
626 "Update the indentwidth if changed and not using tabs in this window"
627 # Called from configDialog.py
628 if not self.usetabs:
629 self.indentwidth = idleConf.GetOption('main', 'Indent','num-spaces',
630 type='int')
631
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000632 def reset_help_menu_entries(self):
633 "Update the additional help entries on the Help menu"
634 help_list = idleConf.GetAllExtraHelpSourcesList()
635 helpmenu = self.menudict['help']
636 # first delete the extra help entries, if any
637 helpmenu_length = helpmenu.index(END)
638 if helpmenu_length > self.base_helpmenu_length:
639 helpmenu.delete((self.base_helpmenu_length + 1), helpmenu_length)
640 # then rebuild them
641 if help_list:
642 helpmenu.add_separator()
643 for entry in help_list:
644 cmd = self.__extra_help_callback(entry[1])
645 helpmenu.add_command(label=entry[0], command=cmd)
646 # and update the menu dictionary
647 self.menudict['help'] = helpmenu
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000648
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000649 def __extra_help_callback(self, helpfile):
650 "Create a callback with the helpfile value frozen at definition time"
651 def display_extra_help(helpfile=helpfile):
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +0000652 if not (helpfile.startswith('www') or helpfile.startswith('http')):
653 url = os.path.normpath(helpfile)
654 if sys.platform[:3] == 'win':
655 os.startfile(helpfile)
656 else:
657 webbrowser.open(helpfile)
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000658 return display_extra_help
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000659
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000660 def update_recent_files_list(self, new_file=None):
661 "Load and update the recent files list and menus"
662 rf_list = []
663 if os.path.exists(self.recent_files_path):
664 rf_list_file = open(self.recent_files_path,'r')
Steven M. Gava1d46e402002-03-27 08:40:46 +0000665 try:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000666 rf_list = rf_list_file.readlines()
Steven M. Gava1d46e402002-03-27 08:40:46 +0000667 finally:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000668 rf_list_file.close()
669 if new_file:
670 new_file = os.path.abspath(new_file) + '\n'
671 if new_file in rf_list:
672 rf_list.remove(new_file) # move to top
673 rf_list.insert(0, new_file)
674 # clean and save the recent files list
675 bad_paths = []
676 for path in rf_list:
677 if '\0' in path or not os.path.exists(path[0:-1]):
678 bad_paths.append(path)
679 rf_list = [path for path in rf_list if path not in bad_paths]
680 ulchars = "1234567890ABCDEFGHIJK"
681 rf_list = rf_list[0:len(ulchars)]
682 rf_file = open(self.recent_files_path, 'w')
Steven M. Gava1d46e402002-03-27 08:40:46 +0000683 try:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000684 rf_file.writelines(rf_list)
Steven M. Gava1d46e402002-03-27 08:40:46 +0000685 finally:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000686 rf_file.close()
687 # for each edit window instance, construct the recent files menu
688 for instance in self.top.instance_dict.keys():
689 menu = instance.recent_files_menu
690 menu.delete(1, END) # clear, and rebuild:
691 for i, file in zip(count(), rf_list):
692 file_name = file[0:-1] # zap \n
Martin v. Löwis307021f2005-11-27 16:59:04 +0000693 # make unicode string to display non-ASCII chars correctly
694 ufile_name = self._filename_to_unicode(file_name)
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000695 callback = instance.__recent_file_callback(file_name)
Martin v. Löwis307021f2005-11-27 16:59:04 +0000696 menu.add_command(label=ulchars[i] + " " + ufile_name,
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000697 command=callback,
698 underline=0)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000699
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000700 def __recent_file_callback(self, file_name):
701 def open_recent_file(fn_closure=file_name):
702 self.io.open(editFile=fn_closure)
703 return open_recent_file
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000704
David Scherer7aced172000-08-15 01:13:23 +0000705 def saved_change_hook(self):
706 short = self.short_title()
707 long = self.long_title()
708 if short and long:
709 title = short + " - " + long
710 elif short:
711 title = short
712 elif long:
713 title = long
714 else:
715 title = "Untitled"
716 icon = short or long or title
717 if not self.get_saved():
718 title = "*%s*" % title
719 icon = "*%s" % icon
720 self.top.wm_title(title)
721 self.top.wm_iconname(icon)
722
723 def get_saved(self):
724 return self.undo.get_saved()
725
726 def set_saved(self, flag):
727 self.undo.set_saved(flag)
728
729 def reset_undo(self):
730 self.undo.reset_undo()
731
732 def short_title(self):
733 filename = self.io.filename
734 if filename:
735 filename = os.path.basename(filename)
Martin v. Löwis307021f2005-11-27 16:59:04 +0000736 # return unicode string to display non-ASCII chars correctly
737 return self._filename_to_unicode(filename)
David Scherer7aced172000-08-15 01:13:23 +0000738
739 def long_title(self):
Martin v. Löwis307021f2005-11-27 16:59:04 +0000740 # return unicode string to display non-ASCII chars correctly
741 return self._filename_to_unicode(self.io.filename or "")
David Scherer7aced172000-08-15 01:13:23 +0000742
743 def center_insert_event(self, event):
744 self.center()
745
746 def center(self, mark="insert"):
747 text = self.text
748 top, bot = self.getwindowlines()
749 lineno = self.getlineno(mark)
750 height = bot - top
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000751 newtop = max(1, lineno - height//2)
David Scherer7aced172000-08-15 01:13:23 +0000752 text.yview(float(newtop))
753
754 def getwindowlines(self):
755 text = self.text
756 top = self.getlineno("@0,0")
757 bot = self.getlineno("@0,65535")
758 if top == bot and text.winfo_height() == 1:
759 # Geometry manager hasn't run yet
760 height = int(text['height'])
761 bot = top + height - 1
762 return top, bot
763
764 def getlineno(self, mark="insert"):
765 text = self.text
766 return int(float(text.index(mark)))
767
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000768 def get_geometry(self):
769 "Return (width, height, x, y)"
770 geom = self.top.wm_geometry()
771 m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom)
772 tuple = (map(int, m.groups()))
773 return tuple
774
David Scherer7aced172000-08-15 01:13:23 +0000775 def close_event(self, event):
776 self.close()
777
778 def maybesave(self):
779 if self.io:
Steven M. Gava67716b52002-02-26 02:31:03 +0000780 if not self.get_saved():
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000781 if self.top.state()!='normal':
Steven M. Gava67716b52002-02-26 02:31:03 +0000782 self.top.deiconify()
783 self.top.lower()
784 self.top.lift()
David Scherer7aced172000-08-15 01:13:23 +0000785 return self.io.maybesave()
786
787 def close(self):
David Scherer7aced172000-08-15 01:13:23 +0000788 reply = self.maybesave()
789 if reply != "cancel":
790 self._close()
791 return reply
792
793 def _close(self):
Steven M. Gava1d46e402002-03-27 08:40:46 +0000794 if self.io.filename:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000795 self.update_recent_files_list(new_file=self.io.filename)
David Scherer7aced172000-08-15 01:13:23 +0000796 WindowList.unregister_callback(self.postwindowsmenu)
797 if self.close_hook:
798 self.close_hook()
799 self.flist = None
800 colorizing = 0
801 self.unload_extensions()
802 self.io.close(); self.io = None
803 self.undo = None # XXX
804 if self.color:
805 colorizing = self.color.colorizing
806 doh = colorizing and self.top
807 self.color.close(doh) # Cancel colorization
808 self.text = None
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000809 self.tkinter_vars = None
David Scherer7aced172000-08-15 01:13:23 +0000810 self.per.close(); self.per = None
811 if not colorizing:
812 self.top.destroy()
813
814 def load_extensions(self):
815 self.extensions = {}
816 self.load_standard_extensions()
817
818 def unload_extensions(self):
819 for ins in self.extensions.values():
820 if hasattr(ins, "close"):
821 ins.close()
822 self.extensions = {}
823
824 def load_standard_extensions(self):
825 for name in self.get_standard_extension_names():
826 try:
827 self.load_extension(name)
828 except:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000829 print "Failed to load extension", repr(name)
David Scherer7aced172000-08-15 01:13:23 +0000830 import traceback
831 traceback.print_exc()
832
833 def get_standard_extension_names(self):
Kurt B. Kaiser4d5bc602004-06-06 01:29:22 +0000834 return idleConf.GetExtensions(editor_only=True)
David Scherer7aced172000-08-15 01:13:23 +0000835
836 def load_extension(self, name):
Kurt B. Kaiserb00e89f2005-01-18 00:54:58 +0000837 try:
838 mod = __import__(name, globals(), locals(), [])
839 except ImportError:
840 print "\nFailed to import extension: ", name
841 return
David Scherer7aced172000-08-15 01:13:23 +0000842 cls = getattr(mod, name)
Kurt B. Kaiser4d5bc602004-06-06 01:29:22 +0000843 keydefs = idleConf.GetExtensionBindings(name)
844 if hasattr(cls, "menudefs"):
845 self.fill_menus(cls.menudefs, keydefs)
David Scherer7aced172000-08-15 01:13:23 +0000846 ins = cls(self)
847 self.extensions[name] = ins
David Scherer7aced172000-08-15 01:13:23 +0000848 if keydefs:
849 self.apply_bindings(keydefs)
850 for vevent in keydefs.keys():
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000851 methodname = vevent.replace("-", "_")
David Scherer7aced172000-08-15 01:13:23 +0000852 while methodname[:1] == '<':
853 methodname = methodname[1:]
854 while methodname[-1:] == '>':
855 methodname = methodname[:-1]
856 methodname = methodname + "_event"
857 if hasattr(ins, methodname):
858 self.text.bind(vevent, getattr(ins, methodname))
David Scherer7aced172000-08-15 01:13:23 +0000859
860 def apply_bindings(self, keydefs=None):
861 if keydefs is None:
862 keydefs = self.Bindings.default_keydefs
863 text = self.text
864 text.keydefs = keydefs
865 for event, keylist in keydefs.items():
866 if keylist:
Raymond Hettinger931237e2003-07-09 18:48:24 +0000867 text.event_add(event, *keylist)
David Scherer7aced172000-08-15 01:13:23 +0000868
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000869 def fill_menus(self, menudefs=None, keydefs=None):
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000870 """Add appropriate entries to the menus and submenus
871
872 Menus that are absent or None in self.menudict are ignored.
873 """
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000874 if menudefs is None:
875 menudefs = self.Bindings.menudefs
David Scherer7aced172000-08-15 01:13:23 +0000876 if keydefs is None:
877 keydefs = self.Bindings.default_keydefs
878 menudict = self.menudict
879 text = self.text
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000880 for mname, entrylist in menudefs:
David Scherer7aced172000-08-15 01:13:23 +0000881 menu = menudict.get(mname)
882 if not menu:
883 continue
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000884 for entry in entrylist:
885 if not entry:
David Scherer7aced172000-08-15 01:13:23 +0000886 menu.add_separator()
887 else:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000888 label, eventname = entry
David Scherer7aced172000-08-15 01:13:23 +0000889 checkbutton = (label[:1] == '!')
890 if checkbutton:
891 label = label[1:]
892 underline, label = prepstr(label)
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000893 accelerator = get_accelerator(keydefs, eventname)
894 def command(text=text, eventname=eventname):
895 text.event_generate(eventname)
David Scherer7aced172000-08-15 01:13:23 +0000896 if checkbutton:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000897 var = self.get_var_obj(eventname, BooleanVar)
David Scherer7aced172000-08-15 01:13:23 +0000898 menu.add_checkbutton(label=label, underline=underline,
899 command=command, accelerator=accelerator,
900 variable=var)
901 else:
902 menu.add_command(label=label, underline=underline,
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000903 command=command,
904 accelerator=accelerator)
David Scherer7aced172000-08-15 01:13:23 +0000905
906 def getvar(self, name):
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000907 var = self.get_var_obj(name)
David Scherer7aced172000-08-15 01:13:23 +0000908 if var:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000909 value = var.get()
910 return value
911 else:
912 raise NameError, name
David Scherer7aced172000-08-15 01:13:23 +0000913
914 def setvar(self, name, value, vartype=None):
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000915 var = self.get_var_obj(name, vartype)
David Scherer7aced172000-08-15 01:13:23 +0000916 if var:
917 var.set(value)
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000918 else:
919 raise NameError, name
David Scherer7aced172000-08-15 01:13:23 +0000920
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000921 def get_var_obj(self, name, vartype=None):
922 var = self.tkinter_vars.get(name)
David Scherer7aced172000-08-15 01:13:23 +0000923 if not var and vartype:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000924 # create a Tkinter variable object with self.text as master:
925 self.tkinter_vars[name] = var = vartype(self.text)
David Scherer7aced172000-08-15 01:13:23 +0000926 return var
927
928 # Tk implementations of "virtual text methods" -- each platform
929 # reusing IDLE's support code needs to define these for its GUI's
930 # flavor of widget.
931
932 # Is character at text_index in a Python string? Return 0 for
933 # "guaranteed no", true for anything else. This info is expensive
934 # to compute ab initio, but is probably already known by the
935 # platform's colorizer.
936
937 def is_char_in_string(self, text_index):
938 if self.color:
939 # Return true iff colorizer hasn't (re)gotten this far
940 # yet, or the character is tagged as being in a string
941 return self.text.tag_prevrange("TODO", text_index) or \
942 "STRING" in self.text.tag_names(text_index)
943 else:
944 # The colorizer is missing: assume the worst
945 return 1
946
947 # If a selection is defined in the text widget, return (start,
948 # end) as Tkinter text indices, otherwise return (None, None)
949 def get_selection_indices(self):
950 try:
951 first = self.text.index("sel.first")
952 last = self.text.index("sel.last")
953 return first, last
954 except TclError:
955 return None, None
956
957 # Return the text widget's current view of what a tab stop means
958 # (equivalent width in spaces).
959
960 def get_tabwidth(self):
961 current = self.text['tabs'] or TK_TABWIDTH_DEFAULT
962 return int(current)
963
964 # Set the text widget's current view of what a tab stop means.
965
966 def set_tabwidth(self, newtabwidth):
967 text = self.text
968 if self.get_tabwidth() != newtabwidth:
969 pixels = text.tk.call("font", "measure", text["font"],
970 "-displayof", text.master,
Kurt B. Kaiserafdf71b2001-07-13 03:35:32 +0000971 "n" * newtabwidth)
David Scherer7aced172000-08-15 01:13:23 +0000972 text.configure(tabs=pixels)
973
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +0000974 # If ispythonsource and guess are true, guess a good value for
975 # indentwidth based on file content (if possible), and if
976 # indentwidth != tabwidth set usetabs false.
977 # In any case, adjust the Text widget's view of what a tab
978 # character means.
979
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000980 def set_indentation_params(self, ispythonsource, guess=True):
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +0000981 if guess and ispythonsource:
982 i = self.guess_indent()
983 if 2 <= i <= 8:
984 self.indentwidth = i
985 if self.indentwidth != self.tabwidth:
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000986 self.usetabs = False
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +0000987 self.set_tabwidth(self.tabwidth)
988
989 def smart_backspace_event(self, event):
990 text = self.text
991 first, last = self.get_selection_indices()
992 if first and last:
993 text.delete(first, last)
994 text.mark_set("insert", first)
995 return "break"
996 # Delete whitespace left, until hitting a real char or closest
997 # preceding virtual tab stop.
998 chars = text.get("insert linestart", "insert")
999 if chars == '':
1000 if text.compare("insert", ">", "1.0"):
1001 # easy: delete preceding newline
1002 text.delete("insert-1c")
1003 else:
1004 text.bell() # at start of buffer
1005 return "break"
1006 if chars[-1] not in " \t":
1007 # easy: delete preceding real char
1008 text.delete("insert-1c")
1009 return "break"
1010 # Ick. It may require *inserting* spaces if we back up over a
1011 # tab character! This is written to be clear, not fast.
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001012 tabwidth = self.tabwidth
1013 have = len(chars.expandtabs(tabwidth))
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001014 assert have > 0
1015 want = ((have - 1) // self.indentwidth) * self.indentwidth
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001016 # Debug prompt is multilined....
1017 last_line_of_prompt = sys.ps1.split('\n')[-1]
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001018 ncharsdeleted = 0
1019 while 1:
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001020 if chars == last_line_of_prompt:
Kurt B. Kaiser1bdca5e2002-12-16 22:25:10 +00001021 break
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001022 chars = chars[:-1]
1023 ncharsdeleted = ncharsdeleted + 1
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001024 have = len(chars.expandtabs(tabwidth))
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001025 if have <= want or chars[-1] not in " \t":
1026 break
1027 text.undo_block_start()
1028 text.delete("insert-%dc" % ncharsdeleted, "insert")
1029 if have < want:
1030 text.insert("insert", ' ' * (want - have))
1031 text.undo_block_stop()
1032 return "break"
1033
1034 def smart_indent_event(self, event):
1035 # if intraline selection:
1036 # delete it
1037 # elif multiline selection:
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001038 # do indent-region
1039 # else:
1040 # indent one level
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001041 text = self.text
1042 first, last = self.get_selection_indices()
1043 text.undo_block_start()
1044 try:
1045 if first and last:
1046 if index2line(first) != index2line(last):
1047 return self.indent_region_event(event)
1048 text.delete(first, last)
1049 text.mark_set("insert", first)
1050 prefix = text.get("insert linestart", "insert")
1051 raw, effective = classifyws(prefix, self.tabwidth)
1052 if raw == len(prefix):
1053 # only whitespace to the left
1054 self.reindent_to(effective + self.indentwidth)
1055 else:
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001056 # tab to the next 'stop' within or to right of line's text:
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001057 if self.usetabs:
1058 pad = '\t'
1059 else:
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001060 effective = len(prefix.expandtabs(self.tabwidth))
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001061 n = self.indentwidth
1062 pad = ' ' * (n - effective % n)
1063 text.insert("insert", pad)
1064 text.see("insert")
1065 return "break"
1066 finally:
1067 text.undo_block_stop()
1068
1069 def newline_and_indent_event(self, event):
1070 text = self.text
1071 first, last = self.get_selection_indices()
1072 text.undo_block_start()
1073 try:
1074 if first and last:
1075 text.delete(first, last)
1076 text.mark_set("insert", first)
1077 line = text.get("insert linestart", "insert")
1078 i, n = 0, len(line)
1079 while i < n and line[i] in " \t":
1080 i = i+1
1081 if i == n:
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001082 # the cursor is in or at leading indentation in a continuation
1083 # line; just inject an empty line at the start
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001084 text.insert("insert linestart", '\n')
1085 return "break"
1086 indent = line[:i]
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001087 # strip whitespace before insert point unless it's in the prompt
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001088 i = 0
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001089 last_line_of_prompt = sys.ps1.split('\n')[-1]
1090 while line and line[-1] in " \t" and line != last_line_of_prompt:
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001091 line = line[:-1]
1092 i = i+1
1093 if i:
1094 text.delete("insert - %d chars" % i, "insert")
1095 # strip whitespace after insert point
1096 while text.get("insert") in " \t":
1097 text.delete("insert")
1098 # start new line
1099 text.insert("insert", '\n')
1100
1101 # adjust indentation for continuations and block
1102 # open/close first need to find the last stmt
1103 lno = index2line(text.index('insert'))
1104 y = PyParse.Parser(self.indentwidth, self.tabwidth)
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001105 if not self.context_use_ps1:
1106 for context in self.num_context_lines:
1107 startat = max(lno - context, 1)
1108 startatindex = `startat` + ".0"
1109 rawtext = text.get(startatindex, "insert")
1110 y.set_str(rawtext)
1111 bod = y.find_good_parse_start(
1112 self.context_use_ps1,
1113 self._build_char_in_string_func(startatindex))
1114 if bod is not None or startat == 1:
1115 break
1116 y.set_lo(bod or 0)
1117 else:
1118 r = text.tag_prevrange("console", "insert")
1119 if r:
1120 startatindex = r[1]
1121 else:
1122 startatindex = "1.0"
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001123 rawtext = text.get(startatindex, "insert")
1124 y.set_str(rawtext)
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001125 y.set_lo(0)
1126
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001127 c = y.get_continuation_type()
1128 if c != PyParse.C_NONE:
1129 # The current stmt hasn't ended yet.
Kurt B. Kaiserb61602c2005-11-15 07:20:06 +00001130 if c == PyParse.C_STRING_FIRST_LINE:
1131 # after the first line of a string; do not indent at all
1132 pass
1133 elif c == PyParse.C_STRING_NEXT_LINES:
1134 # inside a string which started before this line;
1135 # just mimic the current indent
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001136 text.insert("insert", indent)
1137 elif c == PyParse.C_BRACKET:
1138 # line up with the first (if any) element of the
1139 # last open bracket structure; else indent one
1140 # level beyond the indent of the line with the
1141 # last open bracket
1142 self.reindent_to(y.compute_bracket_indent())
1143 elif c == PyParse.C_BACKSLASH:
1144 # if more than one line in this stmt already, just
1145 # mimic the current indent; else if initial line
1146 # has a start on an assignment stmt, indent to
1147 # beyond leftmost =; else to beyond first chunk of
1148 # non-whitespace on initial line
1149 if y.get_num_lines_in_stmt() > 1:
1150 text.insert("insert", indent)
1151 else:
1152 self.reindent_to(y.compute_backslash_indent())
1153 else:
Walter Dörwald70a6b492004-02-12 17:35:32 +00001154 assert 0, "bogus continuation type %r" % (c,)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001155 return "break"
1156
1157 # This line starts a brand new stmt; indent relative to
1158 # indentation of initial line of closest preceding
1159 # interesting stmt.
1160 indent = y.get_base_indent_string()
1161 text.insert("insert", indent)
1162 if y.is_block_opener():
1163 self.smart_indent_event(event)
1164 elif indent and y.is_block_closer():
1165 self.smart_backspace_event(event)
1166 return "break"
1167 finally:
1168 text.see("insert")
1169 text.undo_block_stop()
1170
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001171 # Our editwin provides a is_char_in_string function that works
1172 # with a Tk text index, but PyParse only knows about offsets into
1173 # a string. This builds a function for PyParse that accepts an
1174 # offset.
1175
1176 def _build_char_in_string_func(self, startindex):
1177 def inner(offset, _startindex=startindex,
1178 _icis=self.is_char_in_string):
1179 return _icis(_startindex + "+%dc" % offset)
1180 return inner
1181
1182 def indent_region_event(self, event):
1183 head, tail, chars, lines = self.get_region()
1184 for pos in range(len(lines)):
1185 line = lines[pos]
1186 if line:
1187 raw, effective = classifyws(line, self.tabwidth)
1188 effective = effective + self.indentwidth
1189 lines[pos] = self._make_blanks(effective) + line[raw:]
1190 self.set_region(head, tail, chars, lines)
1191 return "break"
1192
1193 def dedent_region_event(self, event):
1194 head, tail, chars, lines = self.get_region()
1195 for pos in range(len(lines)):
1196 line = lines[pos]
1197 if line:
1198 raw, effective = classifyws(line, self.tabwidth)
1199 effective = max(effective - self.indentwidth, 0)
1200 lines[pos] = self._make_blanks(effective) + line[raw:]
1201 self.set_region(head, tail, chars, lines)
1202 return "break"
1203
1204 def comment_region_event(self, event):
1205 head, tail, chars, lines = self.get_region()
1206 for pos in range(len(lines) - 1):
1207 line = lines[pos]
1208 lines[pos] = '##' + line
1209 self.set_region(head, tail, chars, lines)
1210
1211 def uncomment_region_event(self, event):
1212 head, tail, chars, lines = self.get_region()
1213 for pos in range(len(lines)):
1214 line = lines[pos]
1215 if not line:
1216 continue
1217 if line[:2] == '##':
1218 line = line[2:]
1219 elif line[:1] == '#':
1220 line = line[1:]
1221 lines[pos] = line
1222 self.set_region(head, tail, chars, lines)
1223
1224 def tabify_region_event(self, event):
1225 head, tail, chars, lines = self.get_region()
1226 tabwidth = self._asktabwidth()
1227 for pos in range(len(lines)):
1228 line = lines[pos]
1229 if line:
1230 raw, effective = classifyws(line, tabwidth)
1231 ntabs, nspaces = divmod(effective, tabwidth)
1232 lines[pos] = '\t' * ntabs + ' ' * nspaces + line[raw:]
1233 self.set_region(head, tail, chars, lines)
1234
1235 def untabify_region_event(self, event):
1236 head, tail, chars, lines = self.get_region()
1237 tabwidth = self._asktabwidth()
1238 for pos in range(len(lines)):
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001239 lines[pos] = lines[pos].expandtabs(tabwidth)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001240 self.set_region(head, tail, chars, lines)
1241
1242 def toggle_tabs_event(self, event):
1243 if self.askyesno(
1244 "Toggle tabs",
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001245 "Turn tabs " + ("on", "off")[self.usetabs] +
1246 "?\nIndent width " +
1247 ("will be", "remains at")[self.usetabs] + " 8.",
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001248 parent=self.text):
1249 self.usetabs = not self.usetabs
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001250 # Try to prevent mixed tabs/spaces.
1251 # User must reset indent width manually after using tabs
1252 # if he insists on getting into trouble.
1253 self.indentwidth = 8
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001254 return "break"
1255
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001256 # XXX this isn't bound to anything -- see tabwidth comments
1257## def change_tabwidth_event(self, event):
1258## new = self._asktabwidth()
1259## if new != self.tabwidth:
1260## self.tabwidth = new
1261## self.set_indentation_params(0, guess=0)
1262## return "break"
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001263
1264 def change_indentwidth_event(self, event):
1265 new = self.askinteger(
1266 "Indent width",
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001267 "New indent width (2-16)\n(Always use 8 when using tabs)",
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001268 parent=self.text,
1269 initialvalue=self.indentwidth,
1270 minvalue=2,
1271 maxvalue=16)
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001272 if new and new != self.indentwidth and not self.usetabs:
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001273 self.indentwidth = new
1274 return "break"
1275
1276 def get_region(self):
1277 text = self.text
1278 first, last = self.get_selection_indices()
1279 if first and last:
1280 head = text.index(first + " linestart")
1281 tail = text.index(last + "-1c lineend +1c")
1282 else:
1283 head = text.index("insert linestart")
1284 tail = text.index("insert lineend +1c")
1285 chars = text.get(head, tail)
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001286 lines = chars.split("\n")
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001287 return head, tail, chars, lines
1288
1289 def set_region(self, head, tail, chars, lines):
1290 text = self.text
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001291 newchars = "\n".join(lines)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001292 if newchars == chars:
1293 text.bell()
1294 return
1295 text.tag_remove("sel", "1.0", "end")
1296 text.mark_set("insert", head)
1297 text.undo_block_start()
1298 text.delete(head, tail)
1299 text.insert(head, newchars)
1300 text.undo_block_stop()
1301 text.tag_add("sel", head, "insert")
1302
1303 # Make string that displays as n leading blanks.
1304
1305 def _make_blanks(self, n):
1306 if self.usetabs:
1307 ntabs, nspaces = divmod(n, self.tabwidth)
1308 return '\t' * ntabs + ' ' * nspaces
1309 else:
1310 return ' ' * n
1311
1312 # Delete from beginning of line to insert point, then reinsert
1313 # column logical (meaning use tabs if appropriate) spaces.
1314
1315 def reindent_to(self, column):
1316 text = self.text
1317 text.undo_block_start()
1318 if text.compare("insert linestart", "!=", "insert"):
1319 text.delete("insert linestart", "insert")
1320 if column:
1321 text.insert("insert", self._make_blanks(column))
1322 text.undo_block_stop()
1323
1324 def _asktabwidth(self):
1325 return self.askinteger(
1326 "Tab width",
Kurt B. Kaiserca7329c2005-06-12 05:19:23 +00001327 "Columns per tab? (2-16)",
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001328 parent=self.text,
1329 initialvalue=self.indentwidth,
1330 minvalue=2,
1331 maxvalue=16) or self.tabwidth
1332
1333 # Guess indentwidth from text content.
1334 # Return guessed indentwidth. This should not be believed unless
1335 # it's in a reasonable range (e.g., it will be 0 if no indented
1336 # blocks are found).
1337
1338 def guess_indent(self):
1339 opener, indented = IndentSearcher(self.text, self.tabwidth).run()
1340 if opener and indented:
1341 raw, indentsmall = classifyws(opener, self.tabwidth)
1342 raw, indentlarge = classifyws(indented, self.tabwidth)
1343 else:
1344 indentsmall = indentlarge = 0
1345 return indentlarge - indentsmall
1346
1347# "line.col" -> line, as an int
1348def index2line(index):
1349 return int(float(index))
1350
1351# Look at the leading whitespace in s.
1352# Return pair (# of leading ws characters,
1353# effective # of leading blanks after expanding
1354# tabs to width tabwidth)
1355
1356def classifyws(s, tabwidth):
1357 raw = effective = 0
1358 for ch in s:
1359 if ch == ' ':
1360 raw = raw + 1
1361 effective = effective + 1
1362 elif ch == '\t':
1363 raw = raw + 1
1364 effective = (effective // tabwidth + 1) * tabwidth
1365 else:
1366 break
1367 return raw, effective
1368
1369import tokenize
1370_tokenize = tokenize
1371del tokenize
1372
Kurt B. Kaiserdcba6622004-12-21 22:10:32 +00001373class IndentSearcher(object):
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001374
1375 # .run() chews over the Text widget, looking for a block opener
1376 # and the stmt following it. Returns a pair,
1377 # (line containing block opener, line containing stmt)
1378 # Either or both may be None.
1379
1380 def __init__(self, text, tabwidth):
1381 self.text = text
1382 self.tabwidth = tabwidth
1383 self.i = self.finished = 0
1384 self.blkopenline = self.indentedline = None
1385
1386 def readline(self):
1387 if self.finished:
1388 return ""
1389 i = self.i = self.i + 1
Walter Dörwald70a6b492004-02-12 17:35:32 +00001390 mark = repr(i) + ".0"
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001391 if self.text.compare(mark, ">=", "end"):
1392 return ""
1393 return self.text.get(mark, mark + " lineend+1c")
1394
1395 def tokeneater(self, type, token, start, end, line,
1396 INDENT=_tokenize.INDENT,
1397 NAME=_tokenize.NAME,
1398 OPENERS=('class', 'def', 'for', 'if', 'try', 'while')):
1399 if self.finished:
1400 pass
1401 elif type == NAME and token in OPENERS:
1402 self.blkopenline = line
1403 elif type == INDENT and self.blkopenline:
1404 self.indentedline = line
1405 self.finished = 1
1406
1407 def run(self):
1408 save_tabsize = _tokenize.tabsize
1409 _tokenize.tabsize = self.tabwidth
1410 try:
1411 try:
1412 _tokenize.tokenize(self.readline, self.tokeneater)
1413 except _tokenize.TokenError:
1414 # since we cut off the tokenizer early, we can trigger
1415 # spurious errors
1416 pass
1417 finally:
1418 _tokenize.tabsize = save_tabsize
1419 return self.blkopenline, self.indentedline
1420
1421### end autoindent code ###
1422
David Scherer7aced172000-08-15 01:13:23 +00001423def prepstr(s):
1424 # Helper to extract the underscore from a string, e.g.
1425 # prepstr("Co_py") returns (2, "Copy").
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +00001426 i = s.find('_')
David Scherer7aced172000-08-15 01:13:23 +00001427 if i >= 0:
1428 s = s[:i] + s[i+1:]
1429 return i, s
1430
1431
1432keynames = {
1433 'bracketleft': '[',
1434 'bracketright': ']',
1435 'slash': '/',
1436}
1437
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +00001438def get_accelerator(keydefs, eventname):
1439 keylist = keydefs.get(eventname)
David Scherer7aced172000-08-15 01:13:23 +00001440 if not keylist:
1441 return ""
1442 s = keylist[0]
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +00001443 s = re.sub(r"-[a-z]\b", lambda m: m.group().upper(), s)
David Scherer7aced172000-08-15 01:13:23 +00001444 s = re.sub(r"\b\w+\b", lambda m: keynames.get(m.group(), m.group()), s)
1445 s = re.sub("Key-", "", s)
1446 s = re.sub("Cancel","Ctrl-Break",s) # dscherer@cmu.edu
1447 s = re.sub("Control-", "Ctrl-", s)
1448 s = re.sub("-", "+", s)
1449 s = re.sub("><", " ", s)
1450 s = re.sub("<", "", s)
1451 s = re.sub(">", "", s)
1452 return s
1453
1454
1455def fixwordbreaks(root):
1456 # Make sure that Tk's double-click and next/previous word
1457 # operations use our definition of a word (i.e. an identifier)
1458 tk = root.tk
1459 tk.call('tcl_wordBreakAfter', 'a b', 0) # make sure word.tcl is loaded
1460 tk.call('set', 'tcl_wordchars', '[a-zA-Z0-9_]')
1461 tk.call('set', 'tcl_nonwordchars', '[^a-zA-Z0-9_]')
1462
1463
1464def test():
1465 root = Tk()
1466 fixwordbreaks(root)
1467 root.withdraw()
1468 if sys.argv[1:]:
1469 filename = sys.argv[1]
1470 else:
1471 filename = None
1472 edit = EditorWindow(root=root, filename=filename)
1473 edit.set_close_hook(root.quit)
1474 root.mainloop()
1475 root.destroy()
1476
1477if __name__ == '__main__':
1478 test()