]> granicus.if.org Git - python/commit
projects / python / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd4dda8) | patch
Add _close() method that does the actual cleanup (close() asks the
authorGuido van Rossum <guido@python.org>
Fri, 25 Jun 1999 16:06:29 +0000 (16:06 +0000)
committerGuido van Rossum <guido@python.org>
Fri, 25 Jun 1999 16:06:29 +0000 (16:06 +0000)
commit205afb487a4ed9a70b0360da47402d2409aa9ed1
tree162010ad9a447e02f82c1e89bf20f297bc7828cetree | snapshot
parentdd4dda87c1b80e709417664487dfa7ab5581f4e6commit | diff
Add _close() method that does the actual cleanup (close() asks the
user what they want first if there's unsaved stuff, and may cancel).
It closes more than before.

Add unload_extensions() method to unload all extensions; called from
_close().  It calls an extension's close() method if it has one.
Tools/idle/EditorWindow.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.