| commit | 5cc3129260e33c6a736c78a07f4df1b3cc06e206 | [log] [tgz] |
|---|---|---|
| author | Guido van Rossum <guido@python.org> | Tue Jan 12 22:09:18 1999 +0000 |
| committer | Guido van Rossum <guido@python.org> | Tue Jan 12 22:09:18 1999 +0000 |
| tree | 5010ea28107f03ca6baced6375110433e1d190aa | |
| parent | 8d43a2937b03a99c88e0a690221f49f539337771 [diff] |
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.