blob: 8c0ba00e72a44e6730e4d63f3fc109796da5841f [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:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000150 end = menu.index("end")
151 if end is None:
152 end = -1
153 if end >= 0:
154 menu.add_separator()
155 end = end + 1
156 self.wmenu_end = end
157 menu.configure(postcommand=self.postwindowsmenu)
158
159 def wakeup(self):
160 self.top.tkraise()
161 self.top.wm_deiconify()
162 self.text.focus_set()
163
Guido van Rossume7b2e651998-10-12 23:56:08 +0000164 menu_specs = [
Guido van Rossumb5eed031998-11-27 03:19:07 +0000165 ("file", "_File"),
166 ("edit", "_Edit"),
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000167 ("windows", "_Windows"),
Guido van Rossumb5eed031998-11-27 03:19:07 +0000168 ("help", "_Help"),
Guido van Rossume7b2e651998-10-12 23:56:08 +0000169 ]
170
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000171 def createmenubar(self):
172 mbar = self.menubar
Guido van Rossume7b2e651998-10-12 23:56:08 +0000173 self.menudict = mdict = {}
174 for name, label in self.menu_specs:
Guido van Rossumb5eed031998-11-27 03:19:07 +0000175 underline, label = self.Bindings.prepstr(label)
Guido van Rossume7b2e651998-10-12 23:56:08 +0000176 mdict[name] = menu = Menu(mbar, name=name)
Guido van Rossumb5eed031998-11-27 03:19:07 +0000177 mbar.add_cascade(label=label, menu=menu, underline=underline)
Guido van Rossume7b2e651998-10-12 23:56:08 +0000178 self.Bindings.fill_menus(self.text, mdict)
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000179
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000180 def postwindowsmenu(self):
181 # Only called when Windows menu exists
182 menu = self.menudict['windows']
183 end = menu.index("end")
184 if end is None:
185 end = -1
186 if end > self.wmenu_end:
187 menu.delete(self.wmenu_end+1, end)
188 import WindowList
189 WindowList.add_windows_to_menu(menu)
190
191 rmenu = None
192
193 def right_menu_event(self, event):
194 self.text.tag_remove("sel", "1.0", "end")
195 self.text.mark_set("insert", "@%d,%d" % (event.x, event.y))
196 if not self.rmenu:
197 self.make_rmenu()
198 rmenu = self.rmenu
199 self.event = event
200 iswin = sys.platform[:3] == 'win'
201 if iswin:
202 self.text.config(cursor="arrow")
203 rmenu.tk_popup(event.x_root, event.y_root)
204 if iswin:
205 self.text.config(cursor="ibeam")
206
207 rmenu_specs = [
208 # ("Label", "<<virtual-event>>"), ...
209 ("Close", "<<close-window>>"), # Example
210 ]
211
212 def make_rmenu(self):
213 rmenu = Menu(self.text, tearoff=0)
214 for label, eventname in self.rmenu_specs:
215 def command(text=self.text, eventname=eventname):
216 text.event_generate(eventname)
217 rmenu.add_command(label=label, command=command)
218 self.rmenu = rmenu
219
Guido van Rossume7b2e651998-10-12 23:56:08 +0000220 def about_dialog(self, event=None):
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000221 tkMessageBox.showinfo(self.about_title, self.about_text,
222 master=self.text)
223
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000224 helpfile = "help.txt"
225
Guido van Rossume7b2e651998-10-12 23:56:08 +0000226 def help_dialog(self, event=None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000227 helpfile = self.helpfile
228 if not os.path.exists(helpfile):
229 base = os.path.basename(self.helpfile)
230 for dir in sys.path:
231 fullname = os.path.join(dir, base)
232 if os.path.exists(fullname):
233 helpfile = fullname
234 break
235 if self.flist:
236 self.flist.open(helpfile)
237 else:
238 self.io.loadfile(helpfile)
239
240 def select_all(self, event=None):
241 self.text.tag_add("sel", "1.0", "end-1c")
242 self.text.mark_set("insert", "1.0")
243 self.text.see("insert")
244 return "break"
245
246 def remove_selection(self, event=None):
247 self.text.tag_remove("sel", "1.0", "end")
248 self.text.see("insert")
249
Guido van Rossumb3418881998-10-13 03:45:15 +0000250 def open_module(self, event=None):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000251 # XXX Shouldn't this be in IOBinding or in FileList?
Guido van Rossumb3418881998-10-13 03:45:15 +0000252 try:
253 name = self.text.get("sel.first", "sel.last")
254 except TclError:
255 name = ""
256 else:
257 name = string.strip(name)
258 if not name:
259 name = tkSimpleDialog.askstring("Module",
Guido van Rossume1dedc01998-10-16 16:09:57 +0000260 "Enter the name of a Python module\n"
261 "to search on sys.path and open:",
Guido van Rossumb3418881998-10-13 03:45:15 +0000262 parent=self.text)
263 if name:
264 name = string.strip(name)
265 if not name:
266 return
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000267 # XXX Ought to support package syntax
268 # XXX Ought to insert current file's directory in front of path
Guido van Rossumb3418881998-10-13 03:45:15 +0000269 try:
270 (f, file, (suffix, mode, type)) = imp.find_module(name)
271 except ImportError, msg:
272 tkMessageBox.showerror("Import error", str(msg), parent=self.text)
273 return
274 if type != imp.PY_SOURCE:
275 tkMessageBox.showerror("Unsupported type",
276 "%s is not a source module" % name, parent=self.text)
277 return
278 if f:
279 f.close()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000280 if self.flist:
281 self.flist.open(file)
282 else:
283 self.io.loadfile(file)
284
285 def open_class_browser(self, event=None):
286 filename = self.io.filename
287 if not filename:
288 tkMessageBox.showerror(
289 "No filename",
290 "This buffer has no associated filename",
291 master=self.text)
292 return None
293 head, tail = os.path.split(filename)
294 base, ext = os.path.splitext(tail)
295 import pyclbr
296 if pyclbr._modules.has_key(base):
297 del pyclbr._modules[base]
Guido van Rossum245ddc41999-01-11 14:51:32 +0000298 save_cursor = self.text["cursor"]
299 self.text["cursor"] = "watch"
300 self.text.update_idletasks()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000301 import ClassBrowser
302 ClassBrowser.ClassBrowser(self.flist, base, [head])
Guido van Rossum245ddc41999-01-11 14:51:32 +0000303 self.text["cursor"] = save_cursor
Guido van Rossum2aeeb551998-10-12 21:01:37 +0000304
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000305 def gotoline(self, lineno):
306 if lineno is not None and lineno > 0:
307 self.text.mark_set("insert", "%d.0" % lineno)
308 self.text.tag_remove("sel", "1.0", "end")
309 self.text.tag_add("sel", "insert", "insert +1l")
310 self.center()
311
312 def ispythonsource(self, filename):
313 if not filename:
314 return 1
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000315 base, ext = os.path.splitext(os.path.basename(filename))
316 if os.path.normcase(ext) in (".py", ".pyw"):
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000317 return 1
318 try:
319 f = open(filename)
320 line = f.readline()
321 f.close()
322 except IOError:
323 return 0
324 return line[:2] == '#!' and string.find(line, 'python') >= 0
325
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000326 def close_hook(self):
327 if self.flist:
328 self.flist.close_edit(self)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000329
330 def set_close_hook(self, close_hook):
331 self.close_hook = close_hook
332
333 def filename_change_hook(self):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000334 if self.flist:
335 self.flist.filename_changed_edit(self)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000336 self.saved_change_hook()
337 if self.ispythonsource(self.io.filename):
338 self.addcolorizer()
339 else:
340 self.rmcolorizer()
341
342 def addcolorizer(self):
343 if self.color:
344 return
345 ##print "Add colorizer"
346 self.per.removefilter(self.undo)
347 self.color = self.ColorDelegator()
348 self.per.insertfilter(self.color)
349 self.per.insertfilter(self.undo)
350
351 def rmcolorizer(self):
352 if not self.color:
353 return
354 ##print "Remove colorizer"
355 self.per.removefilter(self.undo)
356 self.per.removefilter(self.color)
357 self.color = None
358 self.per.insertfilter(self.undo)
359
360 def saved_change_hook(self):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000361 short = self.short_title()
362 long = self.long_title()
363 if short and long:
364 title = short + " - " + long
365 elif short:
366 title = short
367 elif long:
368 title = long
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000369 else:
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000370 title = "Untitled"
371 icon = short or long or title
372 if not self.get_saved():
373 title = "*%s*" % title
374 icon = "*%s" % icon
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000375 self.top.wm_title(title)
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000376 self.top.wm_iconname(icon)
377
378 def get_saved(self):
379 return self.undo.get_saved()
380
381 def set_saved(self, flag):
382 self.undo.set_saved(flag)
383
384 def reset_undo(self):
385 self.undo.reset_undo()
386
387 def short_title(self):
388 filename = self.io.filename
389 if filename:
390 filename = os.path.basename(filename)
391 return filename
392
393 def long_title(self):
394 return self.io.filename or ""
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000395
396 def center_insert_event(self, event):
397 self.center()
398
399 def center(self, mark="insert"):
Guido van Rossum245ddc41999-01-11 14:51:32 +0000400 text = self.text
401 top, bot = self.getwindowlines()
402 lineno = self.getlineno(mark)
403 height = bot - top
404 newtop = max(1, lineno - height/2)
405 text.yview(float(newtop))
406
407 def getwindowlines(self):
408 text = self.text
409 top = self.getlineno("@0,0")
410 bot = self.getlineno("@0,65535")
411 if top == bot:
412 height = int(text['height'])
413 bot = top + height - 1
414 return top, bot
415
416 def getlineno(self, mark="insert"):
417 text = self.text
418 return int(float(text.index(mark)))
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000419
420 def close_event(self, event):
421 self.close()
422
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000423 def maybesave(self):
424 if self.io:
425 return self.io.maybesave()
426
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000427 def close(self):
428 self.top.wm_deiconify()
429 self.top.tkraise()
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000430 reply = self.maybesave()
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000431 if reply != "cancel":
432 if self.color and self.color.colorizing:
433 self.color.close()
434 self.top.bell()
435 return "cancel"
436 if self.close_hook:
437 self.close_hook()
438 if self.color:
439 self.color.close() # Cancel colorization
440 self.top.destroy()
441 return reply
442
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000443 def load_extensions(self):
444 self.extensions = {}
445 self.load_standard_extensions()
446
447 def load_standard_extensions(self):
448 for name in self.get_standard_extension_names():
449 try:
450 self.load_extension(name)
451 except:
452 print "Failed to load extension", `name`
453 import traceback
454 traceback.print_exc()
455
456 def get_standard_extension_names(self):
457 import extend
458 return extend.standard
459
460 def load_extension(self, name):
461 mod = __import__(name)
462 cls = getattr(mod, name)
463 ins = cls(self)
464 self.extensions[name] = ins
465 kdnames = ["keydefs"]
466 if sys.platform == 'win32':
467 kdnames.append("windows_keydefs")
468 elif sys.platform == 'mac':
469 kdnames.append("mac_keydefs")
470 else:
471 kdnames.append("unix_keydefs")
472 keydefs = {}
473 for kdname in kdnames:
474 if hasattr(ins, kdname):
475 keydefs.update(getattr(ins, kdname))
476 if keydefs:
477 self.Bindings.apply_bindings(self.text, keydefs)
478 for vevent in keydefs.keys():
479 methodname = string.replace(vevent, "-", "_")
480 while methodname[:1] == '<':
481 methodname = methodname[1:]
482 while methodname[-1:] == '>':
483 methodname = methodname[:-1]
484 methodname = methodname + "_event"
485 if hasattr(ins, methodname):
486 self.text.bind(vevent, getattr(ins, methodname))
487 if hasattr(ins, "menudefs"):
488 self.Bindings.fill_menus(self.text, self. menudict,
489 ins.menudefs, keydefs)
490 return ins
491
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000492
493def fixwordbreaks(root):
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000494 # Make sure that Tk's double-click and next/previous word
495 # operations use our definition of a word (i.e. an identifier)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000496 tk = root.tk
497 tk.call('tcl_wordBreakAfter', 'a b', 0) # make sure word.tcl is loaded
498 tk.call('set', 'tcl_wordchars', '[a-zA-Z0-9_]')
499 tk.call('set', 'tcl_nonwordchars', '[^a-zA-Z0-9_]')
500
501
502def test():
503 root = Tk()
504 fixwordbreaks(root)
505 root.withdraw()
506 if sys.argv[1:]:
507 filename = sys.argv[1]
508 else:
509 filename = None
Guido van Rossum504b0bf1999-01-02 21:28:54 +0000510 edit = EditorWindow(root=root, filename=filename)
Guido van Rossum3b4ca0d1998-10-10 18:48:31 +0000511 edit.set_close_hook(root.quit)
512 root.mainloop()
513 root.destroy()
514
515if __name__ == '__main__':
516 test()