blob: 2f728b332b30c4422badd551f7ca4256546875c3 [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
Georg Brandlad9afeb2008-05-16 15:48:15 +00006from tkinter import *
7import tkinter.simpledialog as tkSimpleDialog
8import tkinter.messagebox as 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
Ronald Oussoren19302d92006-06-11 14:33:36 +000020import macosxSupport
David Scherer7aced172000-08-15 01:13:23 +000021
22# The default tab setting for a Text widget, in average-width characters.
23TK_TABWIDTH_DEFAULT = 8
24
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +000025def _find_module(fullname, path=None):
26 """Version of imp.find_module() that handles hierarchical module names"""
27
28 file = None
29 for tgt in fullname.split('.'):
30 if file is not None:
31 file.close() # close intermediate files
32 (file, filename, descr) = imp.find_module(tgt, path)
33 if descr[2] == imp.PY_SOURCE:
34 break # find but not load the source file
35 module = imp.load_module(tgt, file, filename, descr)
Kurt B. Kaiser69e8afc2003-01-10 21:25:20 +000036 try:
37 path = module.__path__
38 except AttributeError:
39 raise ImportError, 'No source for module ' + module.__name__
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +000040 return file, filename, descr
41
Kurt B. Kaiserdcba6622004-12-21 22:10:32 +000042class EditorWindow(object):
David Scherer7aced172000-08-15 01:13:23 +000043 from Percolator import Percolator
44 from ColorDelegator import ColorDelegator
45 from UndoDelegator import UndoDelegator
Martin v. Löwis307021f2005-11-27 16:59:04 +000046 from IOBinding import IOBinding, filesystemencoding, encoding
David Scherer7aced172000-08-15 01:13:23 +000047 import Bindings
Georg Brandlad9afeb2008-05-16 15:48:15 +000048 from tkinter import Toplevel
David Scherer7aced172000-08-15 01:13:23 +000049 from MultiStatusBar import MultiStatusBar
50
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000051 help_url = None
David Scherer7aced172000-08-15 01:13:23 +000052
53 def __init__(self, flist=None, filename=None, key=None, root=None):
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000054 if EditorWindow.help_url is None:
Thomas Heller84ef1532003-09-23 20:53:10 +000055 dochome = os.path.join(sys.prefix, 'Doc', 'index.html')
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000056 if sys.platform.count('linux'):
57 # look for html docs in a couple of standard places
58 pyver = 'python-docs-' + '%s.%s.%s' % sys.version_info[:3]
59 if os.path.isdir('/var/www/html/python/'): # "python2" rpm
60 dochome = '/var/www/html/python/index.html'
61 else:
62 basepath = '/usr/share/doc/' # standard location
63 dochome = os.path.join(basepath, pyver,
64 'Doc', 'index.html')
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +000065 elif sys.platform[:3] == 'win':
Kurt B. Kaiser090e6362004-07-21 03:33:58 +000066 chmfile = os.path.join(sys.prefix, 'Doc',
67 'Python%d%d.chm' % sys.version_info[:2])
Thomas Heller84ef1532003-09-23 20:53:10 +000068 if os.path.isfile(chmfile):
69 dochome = chmfile
Ronald Oussoren19302d92006-06-11 14:33:36 +000070
71 elif macosxSupport.runningAsOSXApp():
72 # documentation is stored inside the python framework
73 dochome = os.path.join(sys.prefix,
74 'Resources/English.lproj/Documentation/index.html')
75
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000076 dochome = os.path.normpath(dochome)
77 if os.path.isfile(dochome):
78 EditorWindow.help_url = dochome
Ronald Oussoren19302d92006-06-11 14:33:36 +000079 if sys.platform == 'darwin':
80 # Safari requires real file:-URLs
81 EditorWindow.help_url = 'file://' + EditorWindow.help_url
Kurt B. Kaiser114713d2003-01-10 05:07:24 +000082 else:
83 EditorWindow.help_url = "http://www.python.org/doc/current"
Steven M. Gavadc72f482002-01-03 11:51:07 +000084 currentTheme=idleConf.CurrentTheme()
David Scherer7aced172000-08-15 01:13:23 +000085 self.flist = flist
86 root = root or flist.root
87 self.root = root
Kurt B. Kaiserb3c4d162006-07-24 17:13:23 +000088 try:
89 sys.ps1
90 except AttributeError:
91 sys.ps1 = '>>> '
David Scherer7aced172000-08-15 01:13:23 +000092 self.menubar = Menu(root)
Kurt B. Kaiser183403a2004-08-22 05:14:32 +000093 self.top = top = WindowList.ListedToplevel(root, menu=self.menubar)
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +000094 if flist:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +000095 self.tkinter_vars = flist.vars
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +000096 #self.top.instance_dict makes flist.inversedict avalable to
Steven M. Gava0c5bc8c2002-03-27 02:25:44 +000097 #configDialog.py so it can access all EditorWindow instaces
Kurt B. Kaisera2946a42006-07-24 18:05:51 +000098 self.top.instance_dict = flist.inversedict
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +000099 else:
100 self.tkinter_vars = {} # keys: Tkinter event names
101 # values: Tkinter variable instances
Kurt B. Kaisera2946a42006-07-24 18:05:51 +0000102 self.top.instance_dict = {}
103 self.recent_files_path = os.path.join(idleConf.GetUserCfgDir(),
Steven M. Gava1d46e402002-03-27 08:40:46 +0000104 'recent-files.lst')
David Scherer7aced172000-08-15 01:13:23 +0000105 self.text_frame = text_frame = Frame(top)
Martin v. Löwis4ebbefe2006-11-22 08:50:02 +0000106 self.vbar = vbar = Scrollbar(text_frame, name='vbar')
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000107 self.width = idleConf.GetOption('main','EditorWindow','width')
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000108 self.text = text = MultiCallCreator(Text)(
109 text_frame, name='text', padx=5, wrap='none',
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000110 width=self.width,
Steven M. Gavadc72f482002-01-03 11:51:07 +0000111 height=idleConf.GetOption('main','EditorWindow','height') )
Kurt B. Kaiser183403a2004-08-22 05:14:32 +0000112 self.top.focused_widget = self.text
David Scherer7aced172000-08-15 01:13:23 +0000113
114 self.createmenubar()
115 self.apply_bindings()
116
117 self.top.protocol("WM_DELETE_WINDOW", self.close)
118 self.top.bind("<<close-window>>", self.close_event)
Ronald Oussoren17db4952006-07-23 09:41:09 +0000119 if macosxSupport.runningAsOSXApp():
120 # Command-W on editorwindows doesn't work without this.
Ronald Oussoren3075e162006-07-25 20:28:55 +0000121 text.bind('<<close-window>>', self.close_event)
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000122 text.bind("<<cut>>", self.cut)
123 text.bind("<<copy>>", self.copy)
124 text.bind("<<paste>>", self.paste)
David Scherer7aced172000-08-15 01:13:23 +0000125 text.bind("<<center-insert>>", self.center_insert_event)
126 text.bind("<<help>>", self.help_dialog)
David Scherer7aced172000-08-15 01:13:23 +0000127 text.bind("<<python-docs>>", self.python_docs)
128 text.bind("<<about-idle>>", self.about_dialog)
Steven M. Gava3b55a892001-11-21 05:56:26 +0000129 text.bind("<<open-config-dialog>>", self.config_dialog)
David Scherer7aced172000-08-15 01:13:23 +0000130 text.bind("<<open-module>>", self.open_module)
131 text.bind("<<do-nothing>>", lambda event: "break")
132 text.bind("<<select-all>>", self.select_all)
133 text.bind("<<remove-selection>>", self.remove_selection)
Steven M. Gavac5976402002-01-04 03:06:08 +0000134 text.bind("<<find>>", self.find_event)
135 text.bind("<<find-again>>", self.find_again_event)
136 text.bind("<<find-in-files>>", self.find_in_files_event)
137 text.bind("<<find-selection>>", self.find_selection_event)
138 text.bind("<<replace>>", self.replace_event)
139 text.bind("<<goto-line>>", self.goto_line_event)
David Scherer7aced172000-08-15 01:13:23 +0000140 text.bind("<3>", self.right_menu_event)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +0000141 text.bind("<<smart-backspace>>",self.smart_backspace_event)
142 text.bind("<<newline-and-indent>>",self.newline_and_indent_event)
143 text.bind("<<smart-indent>>",self.smart_indent_event)
144 text.bind("<<indent-region>>",self.indent_region_event)
145 text.bind("<<dedent-region>>",self.dedent_region_event)
146 text.bind("<<comment-region>>",self.comment_region_event)
147 text.bind("<<uncomment-region>>",self.uncomment_region_event)
148 text.bind("<<tabify-region>>",self.tabify_region_event)
149 text.bind("<<untabify-region>>",self.untabify_region_event)
150 text.bind("<<toggle-tabs>>",self.toggle_tabs_event)
151 text.bind("<<change-indentwidth>>",self.change_indentwidth_event)
Kurt B. Kaiser5ec186b2003-01-17 04:04:06 +0000152 text.bind("<Left>", self.move_at_edge_if_selection(0))
153 text.bind("<Right>", self.move_at_edge_if_selection(1))
Kurt B. Kaiser3069dbb2005-01-28 00:16:16 +0000154 text.bind("<<del-word-left>>", self.del_word_left)
155 text.bind("<<del-word-right>>", self.del_word_right)
Kurt B. Kaiser93cdae52008-04-27 21:07:41 +0000156 text.bind("<<beginning-of-line>>", self.home_callback)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000157
David Scherer7aced172000-08-15 01:13:23 +0000158 if flist:
159 flist.inversedict[self] = key
160 if key:
161 flist.dict[key] = self
Kurt B. Kaiserd2f48612003-06-05 02:34:04 +0000162 text.bind("<<open-new-window>>", self.new_callback)
David Scherer7aced172000-08-15 01:13:23 +0000163 text.bind("<<close-all-windows>>", self.flist.close_all_callback)
164 text.bind("<<open-class-browser>>", self.open_class_browser)
165 text.bind("<<open-path-browser>>", self.open_path_browser)
166
Steven M. Gava898a3652001-10-07 11:10:44 +0000167 self.set_status_bar()
David Scherer7aced172000-08-15 01:13:23 +0000168 vbar['command'] = text.yview
169 vbar.pack(side=RIGHT, fill=Y)
David Scherer7aced172000-08-15 01:13:23 +0000170 text['yscrollcommand'] = vbar.set
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000171 fontWeight = 'normal'
172 if idleConf.GetOption('main', 'EditorWindow', 'font-bold', type='bool'):
Steven M. Gavab1585412002-03-12 00:21:56 +0000173 fontWeight='bold'
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000174 text.config(font=(idleConf.GetOption('main', 'EditorWindow', 'font'),
175 idleConf.GetOption('main', 'EditorWindow', 'font-size'),
176 fontWeight))
David Scherer7aced172000-08-15 01:13:23 +0000177 text_frame.pack(side=LEFT, fill=BOTH, expand=1)
178 text.pack(side=TOP, fill=BOTH, expand=1)
179 text.focus_set()
180
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000181 # usetabs true -> literal tab characters are used by indent and
182 # dedent cmds, possibly mixed with spaces if
183 # indentwidth is not a multiple of tabwidth,
184 # which will cause Tabnanny to nag!
185 # false -> tab characters are converted to spaces by indent
186 # and dedent cmds, and ditto TAB keystrokes
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000187 # Although use-spaces=0 can be configured manually in config-main.def,
188 # configuration of tabs v. spaces is not supported in the configuration
189 # dialog. IDLE promotes the preferred Python indentation: use spaces!
190 usespaces = idleConf.GetOption('main', 'Indent', 'use-spaces', type='bool')
191 self.usetabs = not usespaces
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000192
193 # tabwidth is the display width of a literal tab character.
194 # CAUTION: telling Tk to use anything other than its default
195 # tab setting causes it to use an entirely different tabbing algorithm,
196 # treating tab stops as fixed distances from the left margin.
197 # Nobody expects this, so for now tabwidth should never be changed.
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000198 self.tabwidth = 8 # must remain 8 until Tk is fixed.
199
200 # indentwidth is the number of screen characters per indent level.
201 # The recommended Python indentation is four spaces.
202 self.indentwidth = self.tabwidth
203 self.set_notabs_indentwidth()
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000204
205 # If context_use_ps1 is true, parsing searches back for a ps1 line;
206 # else searches for a popular (if, def, ...) Python stmt.
207 self.context_use_ps1 = False
208
209 # When searching backwards for a reliable place to begin parsing,
210 # first start num_context_lines[0] lines back, then
211 # num_context_lines[1] lines back if that didn't work, and so on.
212 # The last value should be huge (larger than the # of lines in a
213 # conceivable file).
214 # Making the initial values larger slows things down more often.
215 self.num_context_lines = 50, 500, 5000000
216
David Scherer7aced172000-08-15 01:13:23 +0000217 self.per = per = self.Percolator(text)
Kurt B. Kaiserdc1e7092002-07-11 04:33:41 +0000218
219 self.undo = undo = self.UndoDelegator()
220 per.insertfilter(undo)
221 text.undo_block_start = undo.undo_block_start
222 text.undo_block_stop = undo.undo_block_stop
223 undo.set_saved_change_hook(self.saved_change_hook)
224
225 # IOBinding implements file I/O and printing functionality
David Scherer7aced172000-08-15 01:13:23 +0000226 self.io = io = self.IOBinding(self)
Kurt B. Kaiserdc1e7092002-07-11 04:33:41 +0000227 io.set_filename_change_hook(self.filename_change_hook)
228
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000229 # Create the recent files submenu
230 self.recent_files_menu = Menu(self.menubar)
231 self.menudict['file'].insert_cascade(3, label='Recent Files',
232 underline=0,
233 menu=self.recent_files_menu)
234 self.update_recent_files_list()
David Scherer7aced172000-08-15 01:13:23 +0000235
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000236 self.color = None # initialized below in self.ResetColorizer
David Scherer7aced172000-08-15 01:13:23 +0000237 if filename:
Kurt B. Kaiserd2f48612003-06-05 02:34:04 +0000238 if os.path.exists(filename) and not os.path.isdir(filename):
David Scherer7aced172000-08-15 01:13:23 +0000239 io.loadfile(filename)
240 else:
241 io.set_filename(filename)
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000242 self.ResetColorizer()
David Scherer7aced172000-08-15 01:13:23 +0000243 self.saved_change_hook()
244
Kurt B. Kaiser6af44982005-01-19 00:22:59 +0000245 self.set_indentation_params(self.ispythonsource(filename))
246
David Scherer7aced172000-08-15 01:13:23 +0000247 self.load_extensions()
248
249 menu = self.menudict.get('windows')
250 if menu:
251 end = menu.index("end")
252 if end is None:
253 end = -1
254 if end >= 0:
255 menu.add_separator()
256 end = end + 1
257 self.wmenu_end = end
258 WindowList.register_callback(self.postwindowsmenu)
259
260 # Some abstractions so IDLE extensions are cross-IDE
261 self.askyesno = tkMessageBox.askyesno
262 self.askinteger = tkSimpleDialog.askinteger
263 self.showerror = tkMessageBox.showerror
264
Martin v. Löwis307021f2005-11-27 16:59:04 +0000265 def _filename_to_unicode(self, filename):
266 """convert filename to unicode in order to display it in Tk"""
267 if isinstance(filename, unicode) or not filename:
268 return filename
269 else:
270 try:
271 return filename.decode(self.filesystemencoding)
272 except UnicodeDecodeError:
273 # XXX
274 try:
275 return filename.decode(self.encoding)
276 except UnicodeDecodeError:
277 # byte-to-byte conversion
278 return filename.decode('iso8859-1')
279
Kurt B. Kaiserd2f48612003-06-05 02:34:04 +0000280 def new_callback(self, event):
281 dirname, basename = self.io.defaultfilename()
282 self.flist.new(dirname)
283 return "break"
284
Kurt B. Kaiser93cdae52008-04-27 21:07:41 +0000285 def home_callback(self, event):
286 if (event.state & 12) != 0 and event.keysym == "Home":
287 # state&1==shift, state&4==control, state&8==alt
288 return # <Modifier-Home>; fall back to class binding
289
290 if self.text.index("iomark") and \
291 self.text.compare("iomark", "<=", "insert lineend") and \
292 self.text.compare("insert linestart", "<=", "iomark"):
293 insertpt = int(self.text.index("iomark").split(".")[1])
294 else:
295 line = self.text.get("insert linestart", "insert lineend")
296 for insertpt in xrange(len(line)):
297 if line[insertpt] not in (' ','\t'):
298 break
299 else:
300 insertpt=len(line)
301
302 lineat = int(self.text.index("insert").split('.')[1])
303
304 if insertpt == lineat:
305 insertpt = 0
306
307 dest = "insert linestart+"+str(insertpt)+"c"
308
309 if (event.state&1) == 0:
310 # shift not pressed
311 self.text.tag_remove("sel", "1.0", "end")
312 else:
313 if not self.text.index("sel.first"):
314 self.text.mark_set("anchor","insert")
315
316 first = self.text.index(dest)
317 last = self.text.index("anchor")
318
319 if self.text.compare(first,">",last):
320 first,last = last,first
321
322 self.text.tag_remove("sel", "1.0", "end")
323 self.text.tag_add("sel", first, last)
324
325 self.text.mark_set("insert", dest)
326 self.text.see("insert")
327 return "break"
328
David Scherer7aced172000-08-15 01:13:23 +0000329 def set_status_bar(self):
Steven M. Gava898a3652001-10-07 11:10:44 +0000330 self.status_bar = self.MultiStatusBar(self.top)
Ronald Oussoren19302d92006-06-11 14:33:36 +0000331 if macosxSupport.runningAsOSXApp():
332 # Insert some padding to avoid obscuring some of the statusbar
333 # by the resize widget.
334 self.status_bar.set_label('_padding1', ' ', side=RIGHT)
David Scherer7aced172000-08-15 01:13:23 +0000335 self.status_bar.set_label('column', 'Col: ?', side=RIGHT)
336 self.status_bar.set_label('line', 'Ln: ?', side=RIGHT)
337 self.status_bar.pack(side=BOTTOM, fill=X)
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000338 self.text.bind("<<set-line-and-column>>", self.set_line_and_column)
339 self.text.event_add("<<set-line-and-column>>",
340 "<KeyRelease>", "<ButtonRelease>")
David Scherer7aced172000-08-15 01:13:23 +0000341 self.text.after_idle(self.set_line_and_column)
342
343 def set_line_and_column(self, event=None):
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000344 line, column = self.text.index(INSERT).split('.')
David Scherer7aced172000-08-15 01:13:23 +0000345 self.status_bar.set_label('column', 'Col: %s' % column)
346 self.status_bar.set_label('line', 'Ln: %s' % line)
347
David Scherer7aced172000-08-15 01:13:23 +0000348 menu_specs = [
349 ("file", "_File"),
350 ("edit", "_Edit"),
351 ("format", "F_ormat"),
352 ("run", "_Run"),
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000353 ("options", "_Options"),
David Scherer7aced172000-08-15 01:13:23 +0000354 ("windows", "_Windows"),
355 ("help", "_Help"),
356 ]
357
Ronald Oussoren19302d92006-06-11 14:33:36 +0000358 if macosxSupport.runningAsOSXApp():
359 del menu_specs[-3]
360 menu_specs[-2] = ("windows", "_Window")
361
362
David Scherer7aced172000-08-15 01:13:23 +0000363 def createmenubar(self):
364 mbar = self.menubar
365 self.menudict = menudict = {}
366 for name, label in self.menu_specs:
367 underline, label = prepstr(label)
368 menudict[name] = menu = Menu(mbar, name=name)
369 mbar.add_cascade(label=label, menu=menu, underline=underline)
Ronald Oussoren19302d92006-06-11 14:33:36 +0000370
371 if sys.platform == 'darwin' and '.framework' in sys.executable:
372 # Insert the application menu
373 menudict['application'] = menu = Menu(mbar, name='apple')
374 mbar.add_cascade(label='IDLE', menu=menu)
375
David Scherer7aced172000-08-15 01:13:23 +0000376 self.fill_menus()
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000377 self.base_helpmenu_length = self.menudict['help'].index(END)
378 self.reset_help_menu_entries()
David Scherer7aced172000-08-15 01:13:23 +0000379
380 def postwindowsmenu(self):
381 # Only called when Windows menu exists
David Scherer7aced172000-08-15 01:13:23 +0000382 menu = self.menudict['windows']
383 end = menu.index("end")
384 if end is None:
385 end = -1
386 if end > self.wmenu_end:
387 menu.delete(self.wmenu_end+1, end)
388 WindowList.add_windows_to_menu(menu)
389
390 rmenu = None
391
392 def right_menu_event(self, event):
393 self.text.tag_remove("sel", "1.0", "end")
394 self.text.mark_set("insert", "@%d,%d" % (event.x, event.y))
395 if not self.rmenu:
396 self.make_rmenu()
397 rmenu = self.rmenu
398 self.event = event
399 iswin = sys.platform[:3] == 'win'
400 if iswin:
401 self.text.config(cursor="arrow")
402 rmenu.tk_popup(event.x_root, event.y_root)
403 if iswin:
404 self.text.config(cursor="ibeam")
405
406 rmenu_specs = [
407 # ("Label", "<<virtual-event>>"), ...
408 ("Close", "<<close-window>>"), # Example
409 ]
410
411 def make_rmenu(self):
412 rmenu = Menu(self.text, tearoff=0)
413 for label, eventname in self.rmenu_specs:
414 def command(text=self.text, eventname=eventname):
415 text.event_generate(eventname)
416 rmenu.add_command(label=label, command=command)
417 self.rmenu = rmenu
418
419 def about_dialog(self, event=None):
Kurt B. Kaiserd78b2302003-06-12 04:03:49 +0000420 aboutDialog.AboutDialog(self.top,'About IDLE')
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000421
Steven M. Gava3b55a892001-11-21 05:56:26 +0000422 def config_dialog(self, event=None):
423 configDialog.ConfigDialog(self.top,'Settings')
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000424
David Scherer7aced172000-08-15 01:13:23 +0000425 def help_dialog(self, event=None):
Steven M. Gavab9d07b52001-07-31 11:11:38 +0000426 fn=os.path.join(os.path.abspath(os.path.dirname(__file__)),'help.txt')
Kurt B. Kaiserd5f49102007-10-04 02:53:07 +0000427 textView.view_file(self.top,'Help',fn)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000428
Kurt B. Kaiser114713d2003-01-10 05:07:24 +0000429 def python_docs(self, event=None):
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +0000430 if sys.platform[:3] == 'win':
Steven M. Gava931625d2002-04-22 00:38:26 +0000431 os.startfile(self.help_url)
Kurt B. Kaiser114713d2003-01-10 05:07:24 +0000432 else:
433 webbrowser.open(self.help_url)
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +0000434 return "break"
David Scherer7aced172000-08-15 01:13:23 +0000435
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000436 def cut(self,event):
437 self.text.event_generate("<<Cut>>")
438 return "break"
439
440 def copy(self,event):
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000441 if not self.text.tag_ranges("sel"):
442 # There is no selection, so do nothing and maybe interrupt.
443 return
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000444 self.text.event_generate("<<Copy>>")
445 return "break"
446
447 def paste(self,event):
448 self.text.event_generate("<<Paste>>")
Kurt B. Kaiser631fee62007-10-10 01:06:47 +0000449 self.text.see("insert")
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000450 return "break"
451
David Scherer7aced172000-08-15 01:13:23 +0000452 def select_all(self, event=None):
453 self.text.tag_add("sel", "1.0", "end-1c")
454 self.text.mark_set("insert", "1.0")
455 self.text.see("insert")
456 return "break"
457
458 def remove_selection(self, event=None):
459 self.text.tag_remove("sel", "1.0", "end")
460 self.text.see("insert")
461
Kurt B. Kaiser5ec186b2003-01-17 04:04:06 +0000462 def move_at_edge_if_selection(self, edge_index):
463 """Cursor move begins at start or end of selection
464
465 When a left/right cursor key is pressed create and return to Tkinter a
466 function which causes a cursor move from the associated edge of the
467 selection.
468
469 """
470 self_text_index = self.text.index
471 self_text_mark_set = self.text.mark_set
472 edges_table = ("sel.first+1c", "sel.last-1c")
473 def move_at_edge(event):
474 if (event.state & 5) == 0: # no shift(==1) or control(==4) pressed
475 try:
476 self_text_index("sel.first")
477 self_text_mark_set("insert", edges_table[edge_index])
478 except TclError:
479 pass
480 return move_at_edge
481
Kurt B. Kaiser3069dbb2005-01-28 00:16:16 +0000482 def del_word_left(self, event):
483 self.text.event_generate('<Meta-Delete>')
484 return "break"
485
486 def del_word_right(self, event):
487 self.text.event_generate('<Meta-d>')
488 return "break"
489
Steven M. Gavac5976402002-01-04 03:06:08 +0000490 def find_event(self, event):
491 SearchDialog.find(self.text)
492 return "break"
493
494 def find_again_event(self, event):
495 SearchDialog.find_again(self.text)
496 return "break"
497
498 def find_selection_event(self, event):
499 SearchDialog.find_selection(self.text)
500 return "break"
501
502 def find_in_files_event(self, event):
503 GrepDialog.grep(self.text, self.io, self.flist)
504 return "break"
505
506 def replace_event(self, event):
507 ReplaceDialog.replace(self.text)
508 return "break"
509
510 def goto_line_event(self, event):
511 text = self.text
512 lineno = tkSimpleDialog.askinteger("Goto",
513 "Go to line number:",parent=text)
514 if lineno is None:
515 return "break"
516 if lineno <= 0:
517 text.bell()
518 return "break"
519 text.mark_set("insert", "%d.0" % lineno)
520 text.see("insert")
521
David Scherer7aced172000-08-15 01:13:23 +0000522 def open_module(self, event=None):
523 # XXX Shouldn't this be in IOBinding or in FileList?
524 try:
525 name = self.text.get("sel.first", "sel.last")
526 except TclError:
527 name = ""
528 else:
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000529 name = name.strip()
Guido van Rossum852f35b2003-06-05 11:36:55 +0000530 name = tkSimpleDialog.askstring("Module",
531 "Enter the name of a Python module\n"
532 "to search on sys.path and open:",
533 parent=self.text, initialvalue=name)
534 if name:
535 name = name.strip()
David Scherer7aced172000-08-15 01:13:23 +0000536 if not name:
Guido van Rossum852f35b2003-06-05 11:36:55 +0000537 return
David Scherer7aced172000-08-15 01:13:23 +0000538 # XXX Ought to insert current file's directory in front of path
539 try:
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000540 (f, file, (suffix, mode, type)) = _find_module(name)
David Scherer7aced172000-08-15 01:13:23 +0000541 except (NameError, ImportError), msg:
542 tkMessageBox.showerror("Import error", str(msg), parent=self.text)
543 return
544 if type != imp.PY_SOURCE:
545 tkMessageBox.showerror("Unsupported type",
546 "%s is not a source module" % name, parent=self.text)
547 return
548 if f:
549 f.close()
550 if self.flist:
551 self.flist.open(file)
552 else:
553 self.io.loadfile(file)
554
555 def open_class_browser(self, event=None):
556 filename = self.io.filename
557 if not filename:
558 tkMessageBox.showerror(
559 "No filename",
560 "This buffer has no associated filename",
561 master=self.text)
562 self.text.focus_set()
563 return None
564 head, tail = os.path.split(filename)
565 base, ext = os.path.splitext(tail)
566 import ClassBrowser
567 ClassBrowser.ClassBrowser(self.flist, base, [head])
568
569 def open_path_browser(self, event=None):
570 import PathBrowser
571 PathBrowser.PathBrowser(self.flist)
572
573 def gotoline(self, lineno):
574 if lineno is not None and lineno > 0:
575 self.text.mark_set("insert", "%d.0" % lineno)
576 self.text.tag_remove("sel", "1.0", "end")
577 self.text.tag_add("sel", "insert", "insert +1l")
578 self.center()
579
580 def ispythonsource(self, filename):
Kurt B. Kaiserdf506ea2005-06-12 04:33:30 +0000581 if not filename or os.path.isdir(filename):
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000582 return True
David Scherer7aced172000-08-15 01:13:23 +0000583 base, ext = os.path.splitext(os.path.basename(filename))
584 if os.path.normcase(ext) in (".py", ".pyw"):
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000585 return True
David Scherer7aced172000-08-15 01:13:23 +0000586 try:
587 f = open(filename)
588 line = f.readline()
589 f.close()
590 except IOError:
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000591 return False
Kurt B. Kaiser83a35602002-12-20 17:18:03 +0000592 return line.startswith('#!') and line.find('python') >= 0
David Scherer7aced172000-08-15 01:13:23 +0000593
594 def close_hook(self):
595 if self.flist:
Kurt B. Kaiser0b634ef2007-10-04 02:09:17 +0000596 self.flist.unregister_maybe_terminate(self)
597 self.flist = None
David Scherer7aced172000-08-15 01:13:23 +0000598
599 def set_close_hook(self, close_hook):
600 self.close_hook = close_hook
601
602 def filename_change_hook(self):
603 if self.flist:
604 self.flist.filename_changed_edit(self)
605 self.saved_change_hook()
Kurt B. Kaiser260cb902003-06-06 21:58:38 +0000606 self.top.update_windowlist_registry(self)
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000607 self.ResetColorizer()
David Scherer7aced172000-08-15 01:13:23 +0000608
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000609 def _addcolorizer(self):
David Scherer7aced172000-08-15 01:13:23 +0000610 if self.color:
611 return
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000612 if self.ispythonsource(self.io.filename):
613 self.color = self.ColorDelegator()
614 # can add more colorizers here...
615 if self.color:
616 self.per.removefilter(self.undo)
617 self.per.insertfilter(self.color)
618 self.per.insertfilter(self.undo)
David Scherer7aced172000-08-15 01:13:23 +0000619
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000620 def _rmcolorizer(self):
David Scherer7aced172000-08-15 01:13:23 +0000621 if not self.color:
622 return
Kurt B. Kaiserdf506ea2005-06-12 04:33:30 +0000623 self.color.removecolors()
David Scherer7aced172000-08-15 01:13:23 +0000624 self.per.removefilter(self.color)
625 self.color = None
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000626
Steven M. Gavab77d3432002-03-02 07:16:21 +0000627 def ResetColorizer(self):
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000628 "Update the colour theme"
629 # Called from self.filename_change_hook and from configDialog.py
630 self._rmcolorizer()
631 self._addcolorizer()
Kurt B. Kaiser73360a32004-03-08 18:15:31 +0000632 theme = idleConf.GetOption('main','Theme','name')
Kurt B. Kaiserf05fa332008-02-15 22:25:09 +0000633 normal_colors = idleConf.GetHighlight(theme, 'normal')
634 cursor_color = idleConf.GetHighlight(theme, 'cursor', fgBg='fg')
635 select_colors = idleConf.GetHighlight(theme, 'hilite')
636 self.text.config(
637 foreground=normal_colors['foreground'],
638 background=normal_colors['background'],
639 insertbackground=cursor_color,
640 selectforeground=select_colors['foreground'],
641 selectbackground=select_colors['background'],
642 )
David Scherer7aced172000-08-15 01:13:23 +0000643
Steven M. Gavab1585412002-03-12 00:21:56 +0000644 def ResetFont(self):
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000645 "Update the text widgets' font if it is changed"
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000646 # Called from configDialog.py
Steven M. Gavab1585412002-03-12 00:21:56 +0000647 fontWeight='normal'
648 if idleConf.GetOption('main','EditorWindow','font-bold',type='bool'):
649 fontWeight='bold'
650 self.text.config(font=(idleConf.GetOption('main','EditorWindow','font'),
651 idleConf.GetOption('main','EditorWindow','font-size'),
652 fontWeight))
653
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000654 def RemoveKeybindings(self):
655 "Remove the keybindings before they are changed."
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000656 # Called from configDialog.py
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000657 self.Bindings.default_keydefs = keydefs = idleConf.GetCurrentKeySet()
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000658 for event, keylist in keydefs.items():
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000659 self.text.event_delete(event, *keylist)
660 for extensionName in self.get_standard_extension_names():
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000661 xkeydefs = idleConf.GetExtensionBindings(extensionName)
662 if xkeydefs:
663 for event, keylist in xkeydefs.items():
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000664 self.text.event_delete(event, *keylist)
665
666 def ApplyKeybindings(self):
667 "Update the keybindings after they are changed"
668 # Called from configDialog.py
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000669 self.Bindings.default_keydefs = keydefs = idleConf.GetCurrentKeySet()
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000670 self.apply_bindings()
Kurt B. Kaiserb1754452005-11-18 22:05:48 +0000671 for extensionName in self.get_standard_extension_names():
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000672 xkeydefs = idleConf.GetExtensionBindings(extensionName)
673 if xkeydefs:
674 self.apply_bindings(xkeydefs)
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000675 #update menu accelerators
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000676 menuEventDict = {}
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000677 for menu in self.Bindings.menudefs:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000678 menuEventDict[menu[0]] = {}
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000679 for item in menu[1]:
680 if item:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000681 menuEventDict[menu[0]][prepstr(item[0])[1]] = item[1]
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000682 for menubarItem in self.menudict.keys():
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000683 menu = self.menudict[menubarItem]
684 end = menu.index(END) + 1
685 for index in range(0, end):
686 if menu.type(index) == 'command':
687 accel = menu.entrycget(index, 'accelerator')
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000688 if accel:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000689 itemName = menu.entrycget(index, 'label')
690 event = ''
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000691 if menuEventDict.has_key(menubarItem):
692 if menuEventDict[menubarItem].has_key(itemName):
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000693 event = menuEventDict[menubarItem][itemName]
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000694 if event:
Kurt B. Kaiser5a67f9b2005-11-22 01:47:14 +0000695 accel = get_accelerator(keydefs, event)
696 menu.entryconfig(index, accelerator=accel)
Steven M. Gavadbfe92c2002-03-18 02:38:44 +0000697
Kurt B. Kaiseracdef852005-01-31 03:34:26 +0000698 def set_notabs_indentwidth(self):
699 "Update the indentwidth if changed and not using tabs in this window"
700 # Called from configDialog.py
701 if not self.usetabs:
702 self.indentwidth = idleConf.GetOption('main', 'Indent','num-spaces',
703 type='int')
704
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000705 def reset_help_menu_entries(self):
706 "Update the additional help entries on the Help menu"
707 help_list = idleConf.GetAllExtraHelpSourcesList()
708 helpmenu = self.menudict['help']
709 # first delete the extra help entries, if any
710 helpmenu_length = helpmenu.index(END)
711 if helpmenu_length > self.base_helpmenu_length:
712 helpmenu.delete((self.base_helpmenu_length + 1), helpmenu_length)
713 # then rebuild them
714 if help_list:
715 helpmenu.add_separator()
716 for entry in help_list:
717 cmd = self.__extra_help_callback(entry[1])
718 helpmenu.add_command(label=entry[0], command=cmd)
719 # and update the menu dictionary
720 self.menudict['help'] = helpmenu
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000721
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000722 def __extra_help_callback(self, helpfile):
723 "Create a callback with the helpfile value frozen at definition time"
724 def display_extra_help(helpfile=helpfile):
Georg Brandlb2afe852006-06-09 20:43:48 +0000725 if not helpfile.startswith(('www', 'http')):
Kurt B. Kaiser8aa23922004-07-15 04:54:57 +0000726 url = os.path.normpath(helpfile)
727 if sys.platform[:3] == 'win':
728 os.startfile(helpfile)
729 else:
730 webbrowser.open(helpfile)
Kurt B. Kaiser8e92bf72003-01-14 22:03:31 +0000731 return display_extra_help
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000732
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000733 def update_recent_files_list(self, new_file=None):
734 "Load and update the recent files list and menus"
735 rf_list = []
736 if os.path.exists(self.recent_files_path):
737 rf_list_file = open(self.recent_files_path,'r')
Steven M. Gava1d46e402002-03-27 08:40:46 +0000738 try:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000739 rf_list = rf_list_file.readlines()
Steven M. Gava1d46e402002-03-27 08:40:46 +0000740 finally:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000741 rf_list_file.close()
742 if new_file:
743 new_file = os.path.abspath(new_file) + '\n'
744 if new_file in rf_list:
745 rf_list.remove(new_file) # move to top
746 rf_list.insert(0, new_file)
747 # clean and save the recent files list
748 bad_paths = []
749 for path in rf_list:
750 if '\0' in path or not os.path.exists(path[0:-1]):
751 bad_paths.append(path)
752 rf_list = [path for path in rf_list if path not in bad_paths]
753 ulchars = "1234567890ABCDEFGHIJK"
754 rf_list = rf_list[0:len(ulchars)]
755 rf_file = open(self.recent_files_path, 'w')
Steven M. Gava1d46e402002-03-27 08:40:46 +0000756 try:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000757 rf_file.writelines(rf_list)
Steven M. Gava1d46e402002-03-27 08:40:46 +0000758 finally:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000759 rf_file.close()
760 # for each edit window instance, construct the recent files menu
761 for instance in self.top.instance_dict.keys():
762 menu = instance.recent_files_menu
763 menu.delete(1, END) # clear, and rebuild:
764 for i, file in zip(count(), rf_list):
765 file_name = file[0:-1] # zap \n
Martin v. Löwis307021f2005-11-27 16:59:04 +0000766 # make unicode string to display non-ASCII chars correctly
767 ufile_name = self._filename_to_unicode(file_name)
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000768 callback = instance.__recent_file_callback(file_name)
Martin v. Löwis307021f2005-11-27 16:59:04 +0000769 menu.add_command(label=ulchars[i] + " " + ufile_name,
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000770 command=callback,
771 underline=0)
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000772
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000773 def __recent_file_callback(self, file_name):
774 def open_recent_file(fn_closure=file_name):
775 self.io.open(editFile=fn_closure)
776 return open_recent_file
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000777
David Scherer7aced172000-08-15 01:13:23 +0000778 def saved_change_hook(self):
779 short = self.short_title()
780 long = self.long_title()
781 if short and long:
782 title = short + " - " + long
783 elif short:
784 title = short
785 elif long:
786 title = long
787 else:
788 title = "Untitled"
789 icon = short or long or title
790 if not self.get_saved():
791 title = "*%s*" % title
792 icon = "*%s" % icon
793 self.top.wm_title(title)
794 self.top.wm_iconname(icon)
795
796 def get_saved(self):
797 return self.undo.get_saved()
798
799 def set_saved(self, flag):
800 self.undo.set_saved(flag)
801
802 def reset_undo(self):
803 self.undo.reset_undo()
804
805 def short_title(self):
806 filename = self.io.filename
807 if filename:
808 filename = os.path.basename(filename)
Martin v. Löwis307021f2005-11-27 16:59:04 +0000809 # return unicode string to display non-ASCII chars correctly
810 return self._filename_to_unicode(filename)
David Scherer7aced172000-08-15 01:13:23 +0000811
812 def long_title(self):
Martin v. Löwis307021f2005-11-27 16:59:04 +0000813 # return unicode string to display non-ASCII chars correctly
814 return self._filename_to_unicode(self.io.filename or "")
David Scherer7aced172000-08-15 01:13:23 +0000815
816 def center_insert_event(self, event):
817 self.center()
818
819 def center(self, mark="insert"):
820 text = self.text
821 top, bot = self.getwindowlines()
822 lineno = self.getlineno(mark)
823 height = bot - top
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000824 newtop = max(1, lineno - height//2)
David Scherer7aced172000-08-15 01:13:23 +0000825 text.yview(float(newtop))
826
827 def getwindowlines(self):
828 text = self.text
829 top = self.getlineno("@0,0")
830 bot = self.getlineno("@0,65535")
831 if top == bot and text.winfo_height() == 1:
832 # Geometry manager hasn't run yet
833 height = int(text['height'])
834 bot = top + height - 1
835 return top, bot
836
837 def getlineno(self, mark="insert"):
838 text = self.text
839 return int(float(text.index(mark)))
840
Kurt B. Kaiser1061e722003-01-04 01:43:53 +0000841 def get_geometry(self):
842 "Return (width, height, x, y)"
843 geom = self.top.wm_geometry()
844 m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom)
845 tuple = (map(int, m.groups()))
846 return tuple
847
David Scherer7aced172000-08-15 01:13:23 +0000848 def close_event(self, event):
849 self.close()
850
851 def maybesave(self):
852 if self.io:
Steven M. Gava67716b52002-02-26 02:31:03 +0000853 if not self.get_saved():
Kurt B. Kaiser6655e4b2002-12-31 16:03:23 +0000854 if self.top.state()!='normal':
Steven M. Gava67716b52002-02-26 02:31:03 +0000855 self.top.deiconify()
856 self.top.lower()
857 self.top.lift()
David Scherer7aced172000-08-15 01:13:23 +0000858 return self.io.maybesave()
859
860 def close(self):
David Scherer7aced172000-08-15 01:13:23 +0000861 reply = self.maybesave()
Matthias Klosea398e2d2007-01-11 11:44:04 +0000862 if str(reply) != "cancel":
David Scherer7aced172000-08-15 01:13:23 +0000863 self._close()
864 return reply
865
866 def _close(self):
Steven M. Gava1d46e402002-03-27 08:40:46 +0000867 if self.io.filename:
Kurt B. Kaisercf6f1b62004-04-11 03:16:07 +0000868 self.update_recent_files_list(new_file=self.io.filename)
David Scherer7aced172000-08-15 01:13:23 +0000869 WindowList.unregister_callback(self.postwindowsmenu)
David Scherer7aced172000-08-15 01:13:23 +0000870 self.unload_extensions()
Kurt B. Kaiser0b634ef2007-10-04 02:09:17 +0000871 self.io.close()
872 self.io = None
873 self.undo = None
David Scherer7aced172000-08-15 01:13:23 +0000874 if self.color:
Kurt B. Kaiser0b634ef2007-10-04 02:09:17 +0000875 self.color.close(False)
876 self.color = None
David Scherer7aced172000-08-15 01:13:23 +0000877 self.text = None
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000878 self.tkinter_vars = None
Kurt B. Kaiser0b634ef2007-10-04 02:09:17 +0000879 self.per.close()
880 self.per = None
881 self.top.destroy()
882 if self.close_hook:
883 # unless override: unregister from flist, terminate if last window
884 self.close_hook()
David Scherer7aced172000-08-15 01:13:23 +0000885
886 def load_extensions(self):
887 self.extensions = {}
888 self.load_standard_extensions()
889
890 def unload_extensions(self):
891 for ins in self.extensions.values():
892 if hasattr(ins, "close"):
893 ins.close()
894 self.extensions = {}
895
896 def load_standard_extensions(self):
897 for name in self.get_standard_extension_names():
898 try:
899 self.load_extension(name)
900 except:
Walter Dörwald70a6b492004-02-12 17:35:32 +0000901 print "Failed to load extension", repr(name)
David Scherer7aced172000-08-15 01:13:23 +0000902 import traceback
903 traceback.print_exc()
904
905 def get_standard_extension_names(self):
Kurt B. Kaiser4d5bc602004-06-06 01:29:22 +0000906 return idleConf.GetExtensions(editor_only=True)
David Scherer7aced172000-08-15 01:13:23 +0000907
908 def load_extension(self, name):
Kurt B. Kaiserb00e89f2005-01-18 00:54:58 +0000909 try:
910 mod = __import__(name, globals(), locals(), [])
911 except ImportError:
912 print "\nFailed to import extension: ", name
913 return
David Scherer7aced172000-08-15 01:13:23 +0000914 cls = getattr(mod, name)
Kurt B. Kaiser4d5bc602004-06-06 01:29:22 +0000915 keydefs = idleConf.GetExtensionBindings(name)
916 if hasattr(cls, "menudefs"):
917 self.fill_menus(cls.menudefs, keydefs)
David Scherer7aced172000-08-15 01:13:23 +0000918 ins = cls(self)
919 self.extensions[name] = ins
David Scherer7aced172000-08-15 01:13:23 +0000920 if keydefs:
921 self.apply_bindings(keydefs)
922 for vevent in keydefs.keys():
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +0000923 methodname = vevent.replace("-", "_")
David Scherer7aced172000-08-15 01:13:23 +0000924 while methodname[:1] == '<':
925 methodname = methodname[1:]
926 while methodname[-1:] == '>':
927 methodname = methodname[:-1]
928 methodname = methodname + "_event"
929 if hasattr(ins, methodname):
930 self.text.bind(vevent, getattr(ins, methodname))
David Scherer7aced172000-08-15 01:13:23 +0000931
932 def apply_bindings(self, keydefs=None):
933 if keydefs is None:
934 keydefs = self.Bindings.default_keydefs
935 text = self.text
936 text.keydefs = keydefs
937 for event, keylist in keydefs.items():
938 if keylist:
Raymond Hettinger931237e2003-07-09 18:48:24 +0000939 text.event_add(event, *keylist)
David Scherer7aced172000-08-15 01:13:23 +0000940
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000941 def fill_menus(self, menudefs=None, keydefs=None):
Kurt B. Kaiser83118c62002-06-24 17:03:37 +0000942 """Add appropriate entries to the menus and submenus
943
944 Menus that are absent or None in self.menudict are ignored.
945 """
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000946 if menudefs is None:
947 menudefs = self.Bindings.menudefs
David Scherer7aced172000-08-15 01:13:23 +0000948 if keydefs is None:
949 keydefs = self.Bindings.default_keydefs
950 menudict = self.menudict
951 text = self.text
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000952 for mname, entrylist in menudefs:
David Scherer7aced172000-08-15 01:13:23 +0000953 menu = menudict.get(mname)
954 if not menu:
955 continue
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000956 for entry in entrylist:
957 if not entry:
David Scherer7aced172000-08-15 01:13:23 +0000958 menu.add_separator()
959 else:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000960 label, eventname = entry
David Scherer7aced172000-08-15 01:13:23 +0000961 checkbutton = (label[:1] == '!')
962 if checkbutton:
963 label = label[1:]
964 underline, label = prepstr(label)
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000965 accelerator = get_accelerator(keydefs, eventname)
966 def command(text=text, eventname=eventname):
967 text.event_generate(eventname)
David Scherer7aced172000-08-15 01:13:23 +0000968 if checkbutton:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000969 var = self.get_var_obj(eventname, BooleanVar)
David Scherer7aced172000-08-15 01:13:23 +0000970 menu.add_checkbutton(label=label, underline=underline,
971 command=command, accelerator=accelerator,
972 variable=var)
973 else:
974 menu.add_command(label=label, underline=underline,
Kurt B. Kaiser84f48032002-09-26 22:13:22 +0000975 command=command,
976 accelerator=accelerator)
David Scherer7aced172000-08-15 01:13:23 +0000977
978 def getvar(self, name):
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000979 var = self.get_var_obj(name)
David Scherer7aced172000-08-15 01:13:23 +0000980 if var:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000981 value = var.get()
982 return value
983 else:
984 raise NameError, name
David Scherer7aced172000-08-15 01:13:23 +0000985
986 def setvar(self, name, value, vartype=None):
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000987 var = self.get_var_obj(name, vartype)
David Scherer7aced172000-08-15 01:13:23 +0000988 if var:
989 var.set(value)
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000990 else:
991 raise NameError, name
David Scherer7aced172000-08-15 01:13:23 +0000992
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000993 def get_var_obj(self, name, vartype=None):
994 var = self.tkinter_vars.get(name)
David Scherer7aced172000-08-15 01:13:23 +0000995 if not var and vartype:
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +0000996 # create a Tkinter variable object with self.text as master:
997 self.tkinter_vars[name] = var = vartype(self.text)
David Scherer7aced172000-08-15 01:13:23 +0000998 return var
999
1000 # Tk implementations of "virtual text methods" -- each platform
1001 # reusing IDLE's support code needs to define these for its GUI's
1002 # flavor of widget.
1003
1004 # Is character at text_index in a Python string? Return 0 for
1005 # "guaranteed no", true for anything else. This info is expensive
1006 # to compute ab initio, but is probably already known by the
1007 # platform's colorizer.
1008
1009 def is_char_in_string(self, text_index):
1010 if self.color:
1011 # Return true iff colorizer hasn't (re)gotten this far
1012 # yet, or the character is tagged as being in a string
1013 return self.text.tag_prevrange("TODO", text_index) or \
1014 "STRING" in self.text.tag_names(text_index)
1015 else:
1016 # The colorizer is missing: assume the worst
1017 return 1
1018
1019 # If a selection is defined in the text widget, return (start,
1020 # end) as Tkinter text indices, otherwise return (None, None)
1021 def get_selection_indices(self):
1022 try:
1023 first = self.text.index("sel.first")
1024 last = self.text.index("sel.last")
1025 return first, last
1026 except TclError:
1027 return None, None
1028
1029 # Return the text widget's current view of what a tab stop means
1030 # (equivalent width in spaces).
1031
1032 def get_tabwidth(self):
1033 current = self.text['tabs'] or TK_TABWIDTH_DEFAULT
1034 return int(current)
1035
1036 # Set the text widget's current view of what a tab stop means.
1037
1038 def set_tabwidth(self, newtabwidth):
1039 text = self.text
1040 if self.get_tabwidth() != newtabwidth:
1041 pixels = text.tk.call("font", "measure", text["font"],
1042 "-displayof", text.master,
Kurt B. Kaiserafdf71b2001-07-13 03:35:32 +00001043 "n" * newtabwidth)
David Scherer7aced172000-08-15 01:13:23 +00001044 text.configure(tabs=pixels)
1045
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001046 # If ispythonsource and guess are true, guess a good value for
1047 # indentwidth based on file content (if possible), and if
1048 # indentwidth != tabwidth set usetabs false.
1049 # In any case, adjust the Text widget's view of what a tab
1050 # character means.
1051
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001052 def set_indentation_params(self, ispythonsource, guess=True):
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001053 if guess and ispythonsource:
1054 i = self.guess_indent()
1055 if 2 <= i <= 8:
1056 self.indentwidth = i
1057 if self.indentwidth != self.tabwidth:
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001058 self.usetabs = False
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001059 self.set_tabwidth(self.tabwidth)
1060
1061 def smart_backspace_event(self, event):
1062 text = self.text
1063 first, last = self.get_selection_indices()
1064 if first and last:
1065 text.delete(first, last)
1066 text.mark_set("insert", first)
1067 return "break"
1068 # Delete whitespace left, until hitting a real char or closest
1069 # preceding virtual tab stop.
1070 chars = text.get("insert linestart", "insert")
1071 if chars == '':
1072 if text.compare("insert", ">", "1.0"):
1073 # easy: delete preceding newline
1074 text.delete("insert-1c")
1075 else:
1076 text.bell() # at start of buffer
1077 return "break"
1078 if chars[-1] not in " \t":
1079 # easy: delete preceding real char
1080 text.delete("insert-1c")
1081 return "break"
1082 # Ick. It may require *inserting* spaces if we back up over a
1083 # tab character! This is written to be clear, not fast.
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001084 tabwidth = self.tabwidth
1085 have = len(chars.expandtabs(tabwidth))
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001086 assert have > 0
1087 want = ((have - 1) // self.indentwidth) * self.indentwidth
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001088 # Debug prompt is multilined....
1089 last_line_of_prompt = sys.ps1.split('\n')[-1]
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001090 ncharsdeleted = 0
1091 while 1:
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001092 if chars == last_line_of_prompt:
Kurt B. Kaiser1bdca5e2002-12-16 22:25:10 +00001093 break
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001094 chars = chars[:-1]
1095 ncharsdeleted = ncharsdeleted + 1
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001096 have = len(chars.expandtabs(tabwidth))
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001097 if have <= want or chars[-1] not in " \t":
1098 break
1099 text.undo_block_start()
1100 text.delete("insert-%dc" % ncharsdeleted, "insert")
1101 if have < want:
1102 text.insert("insert", ' ' * (want - have))
1103 text.undo_block_stop()
1104 return "break"
1105
1106 def smart_indent_event(self, event):
1107 # if intraline selection:
1108 # delete it
1109 # elif multiline selection:
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001110 # do indent-region
1111 # else:
1112 # indent one level
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001113 text = self.text
1114 first, last = self.get_selection_indices()
1115 text.undo_block_start()
1116 try:
1117 if first and last:
1118 if index2line(first) != index2line(last):
1119 return self.indent_region_event(event)
1120 text.delete(first, last)
1121 text.mark_set("insert", first)
1122 prefix = text.get("insert linestart", "insert")
1123 raw, effective = classifyws(prefix, self.tabwidth)
1124 if raw == len(prefix):
1125 # only whitespace to the left
1126 self.reindent_to(effective + self.indentwidth)
1127 else:
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001128 # tab to the next 'stop' within or to right of line's text:
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001129 if self.usetabs:
1130 pad = '\t'
1131 else:
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001132 effective = len(prefix.expandtabs(self.tabwidth))
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001133 n = self.indentwidth
1134 pad = ' ' * (n - effective % n)
1135 text.insert("insert", pad)
1136 text.see("insert")
1137 return "break"
1138 finally:
1139 text.undo_block_stop()
1140
1141 def newline_and_indent_event(self, event):
1142 text = self.text
1143 first, last = self.get_selection_indices()
1144 text.undo_block_start()
1145 try:
1146 if first and last:
1147 text.delete(first, last)
1148 text.mark_set("insert", first)
1149 line = text.get("insert linestart", "insert")
1150 i, n = 0, len(line)
1151 while i < n and line[i] in " \t":
1152 i = i+1
1153 if i == n:
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001154 # the cursor is in or at leading indentation in a continuation
1155 # line; just inject an empty line at the start
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001156 text.insert("insert linestart", '\n')
1157 return "break"
1158 indent = line[:i]
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001159 # strip whitespace before insert point unless it's in the prompt
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001160 i = 0
Kurt B. Kaiser4ada7ad2002-12-29 22:03:38 +00001161 last_line_of_prompt = sys.ps1.split('\n')[-1]
1162 while line and line[-1] in " \t" and line != last_line_of_prompt:
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001163 line = line[:-1]
1164 i = i+1
1165 if i:
1166 text.delete("insert - %d chars" % i, "insert")
1167 # strip whitespace after insert point
1168 while text.get("insert") in " \t":
1169 text.delete("insert")
1170 # start new line
1171 text.insert("insert", '\n')
1172
1173 # adjust indentation for continuations and block
1174 # open/close first need to find the last stmt
1175 lno = index2line(text.index('insert'))
1176 y = PyParse.Parser(self.indentwidth, self.tabwidth)
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001177 if not self.context_use_ps1:
1178 for context in self.num_context_lines:
1179 startat = max(lno - context, 1)
1180 startatindex = `startat` + ".0"
1181 rawtext = text.get(startatindex, "insert")
1182 y.set_str(rawtext)
1183 bod = y.find_good_parse_start(
1184 self.context_use_ps1,
1185 self._build_char_in_string_func(startatindex))
1186 if bod is not None or startat == 1:
1187 break
1188 y.set_lo(bod or 0)
1189 else:
1190 r = text.tag_prevrange("console", "insert")
1191 if r:
1192 startatindex = r[1]
1193 else:
1194 startatindex = "1.0"
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001195 rawtext = text.get(startatindex, "insert")
1196 y.set_str(rawtext)
Kurt B. Kaiserb1754452005-11-18 22:05:48 +00001197 y.set_lo(0)
1198
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001199 c = y.get_continuation_type()
1200 if c != PyParse.C_NONE:
1201 # The current stmt hasn't ended yet.
Kurt B. Kaiserb61602c2005-11-15 07:20:06 +00001202 if c == PyParse.C_STRING_FIRST_LINE:
1203 # after the first line of a string; do not indent at all
1204 pass
1205 elif c == PyParse.C_STRING_NEXT_LINES:
1206 # inside a string which started before this line;
1207 # just mimic the current indent
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001208 text.insert("insert", indent)
1209 elif c == PyParse.C_BRACKET:
1210 # line up with the first (if any) element of the
1211 # last open bracket structure; else indent one
1212 # level beyond the indent of the line with the
1213 # last open bracket
1214 self.reindent_to(y.compute_bracket_indent())
1215 elif c == PyParse.C_BACKSLASH:
1216 # if more than one line in this stmt already, just
1217 # mimic the current indent; else if initial line
1218 # has a start on an assignment stmt, indent to
1219 # beyond leftmost =; else to beyond first chunk of
1220 # non-whitespace on initial line
1221 if y.get_num_lines_in_stmt() > 1:
1222 text.insert("insert", indent)
1223 else:
1224 self.reindent_to(y.compute_backslash_indent())
1225 else:
Walter Dörwald70a6b492004-02-12 17:35:32 +00001226 assert 0, "bogus continuation type %r" % (c,)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001227 return "break"
1228
1229 # This line starts a brand new stmt; indent relative to
1230 # indentation of initial line of closest preceding
1231 # interesting stmt.
1232 indent = y.get_base_indent_string()
1233 text.insert("insert", indent)
1234 if y.is_block_opener():
1235 self.smart_indent_event(event)
1236 elif indent and y.is_block_closer():
1237 self.smart_backspace_event(event)
1238 return "break"
1239 finally:
1240 text.see("insert")
1241 text.undo_block_stop()
1242
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001243 # Our editwin provides a is_char_in_string function that works
1244 # with a Tk text index, but PyParse only knows about offsets into
1245 # a string. This builds a function for PyParse that accepts an
1246 # offset.
1247
1248 def _build_char_in_string_func(self, startindex):
1249 def inner(offset, _startindex=startindex,
1250 _icis=self.is_char_in_string):
1251 return _icis(_startindex + "+%dc" % offset)
1252 return inner
1253
1254 def indent_region_event(self, event):
1255 head, tail, chars, lines = self.get_region()
1256 for pos in range(len(lines)):
1257 line = lines[pos]
1258 if line:
1259 raw, effective = classifyws(line, self.tabwidth)
1260 effective = effective + self.indentwidth
1261 lines[pos] = self._make_blanks(effective) + line[raw:]
1262 self.set_region(head, tail, chars, lines)
1263 return "break"
1264
1265 def dedent_region_event(self, event):
1266 head, tail, chars, lines = self.get_region()
1267 for pos in range(len(lines)):
1268 line = lines[pos]
1269 if line:
1270 raw, effective = classifyws(line, self.tabwidth)
1271 effective = max(effective - self.indentwidth, 0)
1272 lines[pos] = self._make_blanks(effective) + line[raw:]
1273 self.set_region(head, tail, chars, lines)
1274 return "break"
1275
1276 def comment_region_event(self, event):
1277 head, tail, chars, lines = self.get_region()
1278 for pos in range(len(lines) - 1):
1279 line = lines[pos]
1280 lines[pos] = '##' + line
1281 self.set_region(head, tail, chars, lines)
1282
1283 def uncomment_region_event(self, event):
1284 head, tail, chars, lines = self.get_region()
1285 for pos in range(len(lines)):
1286 line = lines[pos]
1287 if not line:
1288 continue
1289 if line[:2] == '##':
1290 line = line[2:]
1291 elif line[:1] == '#':
1292 line = line[1:]
1293 lines[pos] = line
1294 self.set_region(head, tail, chars, lines)
1295
1296 def tabify_region_event(self, event):
1297 head, tail, chars, lines = self.get_region()
1298 tabwidth = self._asktabwidth()
1299 for pos in range(len(lines)):
1300 line = lines[pos]
1301 if line:
1302 raw, effective = classifyws(line, tabwidth)
1303 ntabs, nspaces = divmod(effective, tabwidth)
1304 lines[pos] = '\t' * ntabs + ' ' * nspaces + line[raw:]
1305 self.set_region(head, tail, chars, lines)
1306
1307 def untabify_region_event(self, event):
1308 head, tail, chars, lines = self.get_region()
1309 tabwidth = self._asktabwidth()
1310 for pos in range(len(lines)):
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001311 lines[pos] = lines[pos].expandtabs(tabwidth)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001312 self.set_region(head, tail, chars, lines)
1313
1314 def toggle_tabs_event(self, event):
1315 if self.askyesno(
1316 "Toggle tabs",
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001317 "Turn tabs " + ("on", "off")[self.usetabs] +
1318 "?\nIndent width " +
Kurt B. Kaiser53f2b5f2006-08-09 20:34:46 +00001319 ("will be", "remains at")[self.usetabs] + " 8." +
1320 "\n Note: a tab is always 8 columns",
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001321 parent=self.text):
1322 self.usetabs = not self.usetabs
Kurt B. Kaiser53f2b5f2006-08-09 20:34:46 +00001323 # Try to prevent inconsistent indentation.
1324 # User must change indent width manually after using tabs.
1325 self.indentwidth = 8
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001326 return "break"
1327
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001328 # XXX this isn't bound to anything -- see tabwidth comments
1329## def change_tabwidth_event(self, event):
1330## new = self._asktabwidth()
1331## if new != self.tabwidth:
1332## self.tabwidth = new
1333## self.set_indentation_params(0, guess=0)
1334## return "break"
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001335
1336 def change_indentwidth_event(self, event):
1337 new = self.askinteger(
1338 "Indent width",
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001339 "New indent width (2-16)\n(Always use 8 when using tabs)",
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001340 parent=self.text,
1341 initialvalue=self.indentwidth,
1342 minvalue=2,
1343 maxvalue=16)
Kurt B. Kaiser6af44982005-01-19 00:22:59 +00001344 if new and new != self.indentwidth and not self.usetabs:
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001345 self.indentwidth = new
1346 return "break"
1347
1348 def get_region(self):
1349 text = self.text
1350 first, last = self.get_selection_indices()
1351 if first and last:
1352 head = text.index(first + " linestart")
1353 tail = text.index(last + "-1c lineend +1c")
1354 else:
1355 head = text.index("insert linestart")
1356 tail = text.index("insert lineend +1c")
1357 chars = text.get(head, tail)
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001358 lines = chars.split("\n")
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001359 return head, tail, chars, lines
1360
1361 def set_region(self, head, tail, chars, lines):
1362 text = self.text
Kurt B. Kaiser1b3c2692002-09-15 21:31:30 +00001363 newchars = "\n".join(lines)
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001364 if newchars == chars:
1365 text.bell()
1366 return
1367 text.tag_remove("sel", "1.0", "end")
1368 text.mark_set("insert", head)
1369 text.undo_block_start()
1370 text.delete(head, tail)
1371 text.insert(head, newchars)
1372 text.undo_block_stop()
1373 text.tag_add("sel", head, "insert")
1374
1375 # Make string that displays as n leading blanks.
1376
1377 def _make_blanks(self, n):
1378 if self.usetabs:
1379 ntabs, nspaces = divmod(n, self.tabwidth)
1380 return '\t' * ntabs + ' ' * nspaces
1381 else:
1382 return ' ' * n
1383
1384 # Delete from beginning of line to insert point, then reinsert
1385 # column logical (meaning use tabs if appropriate) spaces.
1386
1387 def reindent_to(self, column):
1388 text = self.text
1389 text.undo_block_start()
1390 if text.compare("insert linestart", "!=", "insert"):
1391 text.delete("insert linestart", "insert")
1392 if column:
1393 text.insert("insert", self._make_blanks(column))
1394 text.undo_block_stop()
1395
1396 def _asktabwidth(self):
1397 return self.askinteger(
1398 "Tab width",
Kurt B. Kaiserca7329c2005-06-12 05:19:23 +00001399 "Columns per tab? (2-16)",
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001400 parent=self.text,
1401 initialvalue=self.indentwidth,
1402 minvalue=2,
1403 maxvalue=16) or self.tabwidth
1404
1405 # Guess indentwidth from text content.
1406 # Return guessed indentwidth. This should not be believed unless
1407 # it's in a reasonable range (e.g., it will be 0 if no indented
1408 # blocks are found).
1409
1410 def guess_indent(self):
1411 opener, indented = IndentSearcher(self.text, self.tabwidth).run()
1412 if opener and indented:
1413 raw, indentsmall = classifyws(opener, self.tabwidth)
1414 raw, indentlarge = classifyws(indented, self.tabwidth)
1415 else:
1416 indentsmall = indentlarge = 0
1417 return indentlarge - indentsmall
1418
1419# "line.col" -> line, as an int
1420def index2line(index):
1421 return int(float(index))
1422
1423# Look at the leading whitespace in s.
1424# Return pair (# of leading ws characters,
1425# effective # of leading blanks after expanding
1426# tabs to width tabwidth)
1427
1428def classifyws(s, tabwidth):
1429 raw = effective = 0
1430 for ch in s:
1431 if ch == ' ':
1432 raw = raw + 1
1433 effective = effective + 1
1434 elif ch == '\t':
1435 raw = raw + 1
1436 effective = (effective // tabwidth + 1) * tabwidth
1437 else:
1438 break
1439 return raw, effective
1440
1441import tokenize
1442_tokenize = tokenize
1443del tokenize
1444
Kurt B. Kaiserdcba6622004-12-21 22:10:32 +00001445class IndentSearcher(object):
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001446
1447 # .run() chews over the Text widget, looking for a block opener
1448 # and the stmt following it. Returns a pair,
1449 # (line containing block opener, line containing stmt)
1450 # Either or both may be None.
1451
1452 def __init__(self, text, tabwidth):
1453 self.text = text
1454 self.tabwidth = tabwidth
1455 self.i = self.finished = 0
1456 self.blkopenline = self.indentedline = None
1457
1458 def readline(self):
1459 if self.finished:
1460 return ""
1461 i = self.i = self.i + 1
Walter Dörwald70a6b492004-02-12 17:35:32 +00001462 mark = repr(i) + ".0"
Kurt B. Kaisercb7a3832002-09-14 02:34:23 +00001463 if self.text.compare(mark, ">=", "end"):
1464 return ""
1465 return self.text.get(mark, mark + " lineend+1c")
1466
1467 def tokeneater(self, type, token, start, end, line,
1468 INDENT=_tokenize.INDENT,
1469 NAME=_tokenize.NAME,
1470 OPENERS=('class', 'def', 'for', 'if', 'try', 'while')):
1471 if self.finished:
1472 pass
1473 elif type == NAME and token in OPENERS:
1474 self.blkopenline = line
1475 elif type == INDENT and self.blkopenline:
1476 self.indentedline = line
1477 self.finished = 1
1478
1479 def run(self):
1480 save_tabsize = _tokenize.tabsize
1481 _tokenize.tabsize = self.tabwidth
1482 try:
1483 try:
1484 _tokenize.tokenize(self.readline, self.tokeneater)
1485 except _tokenize.TokenError:
1486 # since we cut off the tokenizer early, we can trigger
1487 # spurious errors
1488 pass
1489 finally:
1490 _tokenize.tabsize = save_tabsize
1491 return self.blkopenline, self.indentedline
1492
1493### end autoindent code ###
1494
David Scherer7aced172000-08-15 01:13:23 +00001495def prepstr(s):
1496 # Helper to extract the underscore from a string, e.g.
1497 # prepstr("Co_py") returns (2, "Copy").
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +00001498 i = s.find('_')
David Scherer7aced172000-08-15 01:13:23 +00001499 if i >= 0:
1500 s = s[:i] + s[i+1:]
1501 return i, s
1502
1503
1504keynames = {
1505 'bracketleft': '[',
1506 'bracketright': ']',
1507 'slash': '/',
1508}
1509
Kurt B. Kaiser610c7e02004-04-24 03:01:48 +00001510def get_accelerator(keydefs, eventname):
1511 keylist = keydefs.get(eventname)
David Scherer7aced172000-08-15 01:13:23 +00001512 if not keylist:
1513 return ""
1514 s = keylist[0]
Kurt B. Kaiser220ecbc2002-09-16 02:13:15 +00001515 s = re.sub(r"-[a-z]\b", lambda m: m.group().upper(), s)
David Scherer7aced172000-08-15 01:13:23 +00001516 s = re.sub(r"\b\w+\b", lambda m: keynames.get(m.group(), m.group()), s)
1517 s = re.sub("Key-", "", s)
1518 s = re.sub("Cancel","Ctrl-Break",s) # dscherer@cmu.edu
1519 s = re.sub("Control-", "Ctrl-", s)
1520 s = re.sub("-", "+", s)
1521 s = re.sub("><", " ", s)
1522 s = re.sub("<", "", s)
1523 s = re.sub(">", "", s)
1524 return s
1525
1526
1527def fixwordbreaks(root):
1528 # Make sure that Tk's double-click and next/previous word
1529 # operations use our definition of a word (i.e. an identifier)
1530 tk = root.tk
1531 tk.call('tcl_wordBreakAfter', 'a b', 0) # make sure word.tcl is loaded
1532 tk.call('set', 'tcl_wordchars', '[a-zA-Z0-9_]')
1533 tk.call('set', 'tcl_nonwordchars', '[^a-zA-Z0-9_]')
1534
1535
1536def test():
1537 root = Tk()
1538 fixwordbreaks(root)
1539 root.withdraw()
1540 if sys.argv[1:]:
1541 filename = sys.argv[1]
1542 else:
1543 filename = None
1544 edit = EditorWindow(root=root, filename=filename)
1545 edit.set_close_hook(root.quit)
Kurt B. Kaiser0b634ef2007-10-04 02:09:17 +00001546 edit.text.bind("<<close-all-windows>>", edit.close_event)
David Scherer7aced172000-08-15 01:13:23 +00001547 root.mainloop()
1548 root.destroy()
1549
1550if __name__ == '__main__':
1551 test()