Checking in IDLE 0.2.
Much has changed -- too much, in fact, to write down.
The big news is that there's a standard way to write IDLE extensions;
see extend.txt. Some sample extensions have been provided, and
some existing code has been converted to extensions. Probably the
biggest new user feature is a new search dialog with more options,
search and replace, and even search in files (grep).
This is exactly as downloaded from my laptop after returning
from the holidays -- it hasn't even been tested on Unix yet.
diff --git a/Tools/idle/ZoomHeight.py b/Tools/idle/ZoomHeight.py
new file mode 100644
index 0000000..eee901c
--- /dev/null
+++ b/Tools/idle/ZoomHeight.py
@@ -0,0 +1,35 @@
+# Sample extension: zoom a window to maximum height
+
+import re
+
+class ZoomHeight:
+
+ menudefs = [
+ ('windows', [
+ ('_Zoom Height', '<<zoom-height>>'),
+ ])
+ ]
+
+ windows_keydefs = {
+ '<<zoom-height>>': ['<Alt-F2>'],
+ }
+ unix_keydefs = {
+ '<<zoom-height>>': ['<Control-z><Control-z>'],
+ }
+
+ def __init__(self, editwin):
+ self.editwin = editwin
+
+ def zoom_height_event(self, event):
+ top = self.editwin.top
+ geom = top.wm_geometry()
+ m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom)
+ if not m:
+ top.bell()
+ return
+ width, height, x, y = map(int, m.groups())
+ height = top.winfo_screenheight() - 72
+ newgeom = "%dx%d+%d+%d" % (width, height, x, 0)
+ if geom == newgeom:
+ newgeom = ""
+ top.wm_geometry(newgeom)