From: Guido van Rossum <guido@python.org>
Date: Tue, 12 Jan 1999 22:09:18 +0000 (+0000)
Subject: Vladimir Marangozov's patch:
X-Git-Tag: v1.5.2b2~369
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=5cc3129260e33c6a736c78a07f4df1b3cc06e206;p=thirdparty%2FPython%2Fcpython.git

Vladimir Marangozov's patch:
The separator dances too much and seems to jump by arbitrary amounts
in arbitrary directions when I try to move it for resizing the frames.
This patch makes it more quiet.
---

diff --git a/Tools/idle/Separator.py b/Tools/idle/Separator.py
index 26cdf6c79106..2645e57a37e4 100644
--- a/Tools/idle/Separator.py
+++ b/Tools/idle/Separator.py
@@ -45,6 +45,7 @@ class Separator:
                 f[dim] = getattr(f, "winfo_"+dim)()
         self.div.bind("<Motion>", self.div_motion)
         self.div.bind("<ButtonRelease-1>", self.div_release)
+        self.div.grab_set()
 
     def div_motion(self, event):
         delta = getattr(event, self.dir) - getattr(self.press_event, self.dir)
@@ -61,6 +62,7 @@ class Separator:
     def div_release(self, event):
         self.div_motion(event)
         self.div.unbind("<Motion>")
+        self.div.grab_release()
 
 class VSeparator(Separator):
 
@@ -84,6 +86,7 @@ def main():
             tlist.append(t)
     tlist[0].insert("1.0", "Make your own Mondrian!")
     tlist[1].insert("1.0", "Move the colored dividers...")
+    root.mainloop()
 
 if __name__ == '__main__':
     main()