blob: b4c9156adbdaf853f7d981f33162c85d2cd758a9 [file] [log] [blame]
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +00001import sys
2import os
3import string
Guido van Rossumb3418881998-10-13 03:45:15 +00004import imp
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +00005from Tkinter import *
Guido van Rossumb3418881998-10-13 03:45:15 +00006import tkSimpleDialog
Guido van Rossum2aeeb551998-10-12 21:01:37 +00007import tkMessageBox
Guido van Rossum504b0bf1999-01-02 21:28:54 +00008import idlever
9
10# File menu
11
12#$ event <<open-module>>
13#$ win <Alt-m>
14#$ unix <Control-x><Control-m>
15
16#$ event <<open-class-browser>>
17#$ win <Alt-c>
18#$ unix <Control-x><Control-b>
19
20#$ event <<close-window>>
21#$ unix <Control-x><Control-0>
22#$ unix <Control-x><Key-0>
23#$ win <Alt-F4>
24
25# Edit menu
26
27#$ event <<Copy>>
28#$ win <Control-c>
29#$ unix <Alt-w>
30
31#$ event <<Cut>>
32#$ win <Control-x>
33#$ unix <Control-w>
34
35#$ event <<Paste>>
36#$ win <Control-v>
37#$ unix <Control-y>
38
39#$ event <<select-all>>
40#$ win <Alt-a>
41#$ unix <Alt-a>
42
43# Help menu
44
45#$ event <<help>>
46#$ win <F1>
47#$ unix <F1>
48
49#$ event <<about-idle>>
50
51# Events without menu entries
52
53#$ event <<remove-selection>>
54#$ win <Escape>
55
56#$ event <<center-insert>>
57#$ win <Control-l>
58#$ unix <Control-l>
59
60#$ event <<do-nothing>>
61#$ unix <Control-x>
62
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000063
Guido van Rossum2aeeb551998-10-12 21:01:37 +000064about_title = "About IDLE"
65about_text = """\
Guido van Rossum504b0bf1999-01-02 21:28:54 +000066IDLE %s
Guido van Rossum2aeeb551998-10-12 21:01:37 +000067
Guido van Rossum504b0bf1999-01-02 21:28:54 +000068An Integrated DeveLopment Environment for Python
Guido van Rossum2aeeb551998-10-12 21:01:37 +000069
70by Guido van Rossum
Guido van Rossum504b0bf1999-01-02 21:28:54 +000071""" % idlever.IDLE_VERSION
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000072
73class EditorWindow:
74
75 from Percolator import Percolator
76 from ColorDelegator import ColorDelegator
77 from UndoDelegator import UndoDelegator
78 from IOBinding import IOBinding
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000079 import Bindings
Guido van Rossum504b0bf1999-01-02 21:28:54 +000080 from Tkinter import Toplevel
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000081
Guido van Rossum504b0bf1999-01-02 21:28:54 +000082 about_title = about_title
83 about_text = about_text
84
85 def __init__(self, flist=None, filename=None, key=None, root=None):
86 self.flist = flist
87 root = root or flist.root
Guido van Rossum2aeeb551998-10-12 21:01:37 +000088 self.root = root
89 self.menubar = Menu(root)
Guido van Rossum504b0bf1999-01-02 21:28:54 +000090 self.top = top = self.Toplevel(root, menu=self.menubar)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000091 self.vbar = vbar = Scrollbar(top, name='vbar')
Guido van Rossum504b0bf1999-01-02 21:28:54 +000092 self.text = text = Text(top, name='text', padx=5,
93 background="white", wrap="none")
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000094
Guido van Rossum2aeeb551998-10-12 21:01:37 +000095 self.createmenubar()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +000096 self.Bindings.apply_bindings(text)
97
98 self.top.protocol("WM_DELETE_WINDOW", self.close)
99 self.top.bind("<<close-window>>", self.close_event)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000100 text.bind("<<center-insert>>", self.center_insert_event)
101 text.bind("<<help>>", self.help_dialog)
102 text.bind("<<about-idle>>", self.about_dialog)
103 text.bind("<<open-module>>", self.open_module)
104 text.bind("<<do-nothing>>", lambda event: "break")
105 text.bind("<<select-all>>", self.select_all)
106 text.bind("<<remove-selection>>", self.remove_selection)
107 text.bind("<3>", self.right_menu_event)
108 if flist:
109 flist.inversedict[self] = key
110 if key:
111 flist.dict[key] = self
112 text.bind("<<open-new-window>>", self.flist.new_callback)
113 text.bind("<<close-all-windows>>", self.flist.close_all_callback)
114 text.bind("<<open-class-browser>>", self.open_class_browser)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000115
116 vbar['command'] = text.yview
117 vbar.pack(side=RIGHT, fill=Y)
118
119 text['yscrollcommand'] = vbar.set
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000120 if sys.platform[:3] == 'win':
121 text['font'] = ("lucida console", 8)
122 text.pack(side=LEFT, fill=BOTH, expand=1)
123 text.focus_set()
124
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000125 self.per = per = self.Percolator(text)
126 if self.ispythonsource(filename):
127 self.color = color = self.ColorDelegator(); per.insertfilter(color)
128 ##print "Initial colorizer"
129 else:
130 ##print "No initial colorizer"
131 self.color = None
132 self.undo = undo = self.UndoDelegator(); per.insertfilter(undo)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000133 self.io = io = self.IOBinding(self)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000134
135 undo.set_saved_change_hook(self.saved_change_hook)
136 io.set_filename_change_hook(self.filename_change_hook)
137
138 if filename:
139 if os.path.exists(filename):
140 io.loadfile(filename)
141 else:
142 io.set_filename(filename)
143
144 self.saved_change_hook()
145
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000146 self.load_extensions()
147
148 menu = self.menudict.get('windows')
149 if menu:
150 menu.configure(tearoff=0)
151 end = menu.index("end")
152 if end is None:
153 end = -1
154 if end >= 0:
155 menu.add_separator()
156 end = end + 1
157 self.wmenu_end = end
158 menu.configure(postcommand=self.postwindowsmenu)
159
160 def wakeup(self):
161 self.top.tkraise()
162 self.top.wm_deiconify()
163 self.text.focus_set()
164
Guido van Rossume7b2e651998-10-12 23:56:08 +0000165 menu_specs = [
Guido van Rossumb5eed031998-11-27 03:19:07 +0000166 ("file", "_File"),
167 ("edit", "_Edit"),
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000168 ("windows", "_Windows"),
Guido van Rossumb5eed031998-11-27 03:19:07 +0000169 ("help", "_Help"),
Guido van Rossume7b2e651998-10-12 23:56:08 +0000170 ]
171
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000172 def createmenubar(self):
173 mbar = self.menubar
Guido van Rossume7b2e651998-10-12 23:56:08 +0000174 self.menudict = mdict = {}
175 for name, label in self.menu_specs:
Guido van Rossumb5eed031998-11-27 03:19:07 +0000176 underline, label = self.Bindings.prepstr(label)
Guido van Rossume7b2e651998-10-12 23:56:08 +0000177 mdict[name] = menu = Menu(mbar, name=name)
Guido van Rossumb5eed031998-11-27 03:19:07 +0000178 mbar.add_cascade(label=label, menu=menu, underline=underline)
Guido van Rossume7b2e651998-10-12 23:56:08 +0000179 self.Bindings.fill_menus(self.text, mdict)
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000180
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000181 def postwindowsmenu(self):
182 # Only called when Windows menu exists
183 menu = self.menudict['windows']
184 end = menu.index("end")
185 if end is None:
186 end = -1
187 if end > self.wmenu_end:
188 menu.delete(self.wmenu_end+1, end)
189 import WindowList
190 WindowList.add_windows_to_menu(menu)
191
192 rmenu = None
193
194 def right_menu_event(self, event):
195 self.text.tag_remove("sel", "1.0", "end")
196 self.text.mark_set("insert", "@%d,%d" % (event.x, event.y))
197 if not self.rmenu:
198 self.make_rmenu()
199 rmenu = self.rmenu
200 self.event = event
201 iswin = sys.platform[:3] == 'win'
202 if iswin:
203 self.text.config(cursor="arrow")
204 rmenu.tk_popup(event.x_root, event.y_root)
205 if iswin:
206 self.text.config(cursor="ibeam")
207
208 rmenu_specs = [
209 # ("Label", "<<virtual-event>>"), ...
210 ("Close", "<<close-window>>"), # Example
211 ]
212
213 def make_rmenu(self):
214 rmenu = Menu(self.text, tearoff=0)
215 for label, eventname in self.rmenu_specs:
216 def command(text=self.text, eventname=eventname):
217 text.event_generate(eventname)
218 rmenu.add_command(label=label, command=command)
219 self.rmenu = rmenu
220
Guido van Rossume7b2e651998-10-12 23:56:08 +0000221 def about_dialog(self, event=None):
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000222 tkMessageBox.showinfo(self.about_title, self.about_text,
223 master=self.text)
224
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000225 helpfile = "help.txt"
226
Guido van Rossume7b2e651998-10-12 23:56:08 +0000227 def help_dialog(self, event=None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000228 helpfile = self.helpfile
229 if not os.path.exists(helpfile):
230 base = os.path.basename(self.helpfile)
231 for dir in sys.path:
232 fullname = os.path.join(dir, base)
233 if os.path.exists(fullname):
234 helpfile = fullname
235 break
236 if self.flist:
237 self.flist.open(helpfile)
238 else:
239 self.io.loadfile(helpfile)
240
241 def select_all(self, event=None):
242 self.text.tag_add("sel", "1.0", "end-1c")
243 self.text.mark_set("insert", "1.0")
244 self.text.see("insert")
245 return "break"
246
247 def remove_selection(self, event=None):
248 self.text.tag_remove("sel", "1.0", "end")
249 self.text.see("insert")
250
Guido van Rossumb3418881998-10-13 03:45:15 +0000251 def open_module(self, event=None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000252 # XXX Shouldn't this be in IOBinding or in FileList?
Guido van Rossumb3418881998-10-13 03:45:15 +0000253 try:
254 name = self.text.get("sel.first", "sel.last")
255 except TclError:
256 name = ""
257 else:
258 name = string.strip(name)
259 if not name:
260 name = tkSimpleDialog.askstring("Module",
Guido van Rossume1dedc01998-10-16 16:09:57 +0000261 "Enter the name of a Python module\n"
262 "to search on sys.path and open:",
Guido van Rossumb3418881998-10-13 03:45:15 +0000263 parent=self.text)
264 if name:
265 name = string.strip(name)
266 if not name:
267 return
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000268 # XXX Ought to support package syntax
269 # XXX Ought to insert current file's directory in front of path
Guido van Rossumb3418881998-10-13 03:45:15 +0000270 try:
271 (f, file, (suffix, mode, type)) = imp.find_module(name)
272 except ImportError, msg:
273 tkMessageBox.showerror("Import error", str(msg), parent=self.text)
274 return
275 if type != imp.PY_SOURCE:
276 tkMessageBox.showerror("Unsupported type",
277 "%s is not a source module" % name, parent=self.text)
278 return
279 if f:
280 f.close()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000281 if self.flist:
282 self.flist.open(file)
283 else:
284 self.io.loadfile(file)
285
286 def open_class_browser(self, event=None):
287 filename = self.io.filename
288 if not filename:
289 tkMessageBox.showerror(
290 "No filename",
291 "This buffer has no associated filename",
292 master=self.text)
293 return None
294 head, tail = os.path.split(filename)
295 base, ext = os.path.splitext(tail)
296 import pyclbr
297 if pyclbr._modules.has_key(base):
298 del pyclbr._modules[base]
299 import ClassBrowser
300 ClassBrowser.ClassBrowser(self.flist, base, [head])
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000301
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000302 def gotoline(self, lineno):
303 if lineno is not None and lineno > 0:
304 self.text.mark_set("insert", "%d.0" % lineno)
305 self.text.tag_remove("sel", "1.0", "end")
306 self.text.tag_add("sel", "insert", "insert +1l")
307 self.center()
308
309 def ispythonsource(self, filename):
310 if not filename:
311 return 1
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000312 base, ext = os.path.splitext(os.path.basename(filename))
313 if os.path.normcase(ext) in (".py", ".pyw"):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000314 return 1
315 try:
316 f = open(filename)
317 line = f.readline()
318 f.close()
319 except IOError:
320 return 0
321 return line[:2] == '#!' and string.find(line, 'python') >= 0
322
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000323 def close_hook(self):
324 if self.flist:
325 self.flist.close_edit(self)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000326
327 def set_close_hook(self, close_hook):
328 self.close_hook = close_hook
329
330 def filename_change_hook(self):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000331 if self.flist:
332 self.flist.filename_changed_edit(self)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000333 self.saved_change_hook()
334 if self.ispythonsource(self.io.filename):
335 self.addcolorizer()
336 else:
337 self.rmcolorizer()
338
339 def addcolorizer(self):
340 if self.color:
341 return
342 ##print "Add colorizer"
343 self.per.removefilter(self.undo)
344 self.color = self.ColorDelegator()
345 self.per.insertfilter(self.color)
346 self.per.insertfilter(self.undo)
347
348 def rmcolorizer(self):
349 if not self.color:
350 return
351 ##print "Remove colorizer"
352 self.per.removefilter(self.undo)
353 self.per.removefilter(self.color)
354 self.color = None
355 self.per.insertfilter(self.undo)
356
357 def saved_change_hook(self):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000358 short = self.short_title()
359 long = self.long_title()
360 if short and long:
361 title = short + " - " + long
362 elif short:
363 title = short
364 elif long:
365 title = long
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000366 else:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000367 title = "Untitled"
368 icon = short or long or title
369 if not self.get_saved():
370 title = "*%s*" % title
371 icon = "*%s" % icon
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000372 self.top.wm_title(title)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000373 self.top.wm_iconname(icon)
374
375 def get_saved(self):
376 return self.undo.get_saved()
377
378 def set_saved(self, flag):
379 self.undo.set_saved(flag)
380
381 def reset_undo(self):
382 self.undo.reset_undo()
383
384 def short_title(self):
385 filename = self.io.filename
386 if filename:
387 filename = os.path.basename(filename)
388 return filename
389
390 def long_title(self):
391 return self.io.filename or ""
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000392
393 def center_insert_event(self, event):
394 self.center()
395
396 def center(self, mark="insert"):
397 insert = float(self.text.index(mark + " linestart"))
398 end = float(self.text.index("end"))
399 if insert > end-insert:
400 self.text.see("1.0")
401 else:
402 self.text.see("end")
403 self.text.see(mark)
404
405 def close_event(self, event):
406 self.close()
407
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000408 def maybesave(self):
409 if self.io:
410 return self.io.maybesave()
411
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000412 def close(self):
413 self.top.wm_deiconify()
414 self.top.tkraise()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000415 reply = self.maybesave()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000416 if reply != "cancel":
417 if self.color and self.color.colorizing:
418 self.color.close()
419 self.top.bell()
420 return "cancel"
421 if self.close_hook:
422 self.close_hook()
423 if self.color:
424 self.color.close() # Cancel colorization
425 self.top.destroy()
426 return reply
427
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000428 def load_extensions(self):
429 self.extensions = {}
430 self.load_standard_extensions()
431
432 def load_standard_extensions(self):
433 for name in self.get_standard_extension_names():
434 try:
435 self.load_extension(name)
436 except:
437 print "Failed to load extension", `name`
438 import traceback
439 traceback.print_exc()
440
441 def get_standard_extension_names(self):
442 import extend
443 return extend.standard
444
445 def load_extension(self, name):
446 mod = __import__(name)
447 cls = getattr(mod, name)
448 ins = cls(self)
449 self.extensions[name] = ins
450 kdnames = ["keydefs"]
451 if sys.platform == 'win32':
452 kdnames.append("windows_keydefs")
453 elif sys.platform == 'mac':
454 kdnames.append("mac_keydefs")
455 else:
456 kdnames.append("unix_keydefs")
457 keydefs = {}
458 for kdname in kdnames:
459 if hasattr(ins, kdname):
460 keydefs.update(getattr(ins, kdname))
461 if keydefs:
462 self.Bindings.apply_bindings(self.text, keydefs)
463 for vevent in keydefs.keys():
464 methodname = string.replace(vevent, "-", "_")
465 while methodname[:1] == '<':
466 methodname = methodname[1:]
467 while methodname[-1:] == '>':
468 methodname = methodname[:-1]
469 methodname = methodname + "_event"
470 if hasattr(ins, methodname):
471 self.text.bind(vevent, getattr(ins, methodname))
472 if hasattr(ins, "menudefs"):
473 self.Bindings.fill_menus(self.text, self. menudict,
474 ins.menudefs, keydefs)
475 return ins
476
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000477
478def fixwordbreaks(root):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000479 # Make sure that Tk's double-click and next/previous word
480 # operations use our definition of a word (i.e. an identifier)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000481 tk = root.tk
482 tk.call('tcl_wordBreakAfter', 'a b', 0) # make sure word.tcl is loaded
483 tk.call('set', 'tcl_wordchars', '[a-zA-Z0-9_]')
484 tk.call('set', 'tcl_nonwordchars', '[^a-zA-Z0-9_]')
485
486
487def test():
488 root = Tk()
489 fixwordbreaks(root)
490 root.withdraw()
491 if sys.argv[1:]:
492 filename = sys.argv[1]
493 else:
494 filename = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000495 edit = EditorWindow(root=root, filename=filename)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000496 edit.set_close_hook(root.quit)
497 root.mainloop()
498 root.destroy()
499
500if __name__ == '__main__':
501 test()