Compensate stdwin bug

diff --git a/Lib/lib-stdwin/WindowParent.py b/Lib/lib-stdwin/WindowParent.py
index 39838f7885477b2e311047566b894921433994bd..c9f2df4d04b9ff6cc3a32a37289a36e2a2538158 100644 (file)
--- a/Lib/lib-stdwin/WindowParent.py
+++ b/Lib/lib-stdwin/WindowParent.py
@@ -35,7 +35,9 @@ class WindowParent() = ManageOneChild():
                size = self.child.minsize(self.beginmeasuring())
                self.size = max(self.size[0], size[0]), \
                                                max(self.size[1], size[1])
-               stdwin.setdefwinsize(self.size)
+               #stdwin.setdefwinsize(self.size)
+               # XXX Compensate stdwin bug:
+               stdwin.setdefwinsize(self.size[0]+4, self.size[1]+2)
                self.win = stdwin.open(self.title)
                if self.itimer:
                        self.win.settimer(self.itimer)

diff --git a/Lib/stdwin/WindowParent.py b/Lib/stdwin/WindowParent.py
index 39838f7885477b2e311047566b894921433994bd..c9f2df4d04b9ff6cc3a32a37289a36e2a2538158 100755 (executable)
--- a/Lib/stdwin/WindowParent.py
+++ b/Lib/stdwin/WindowParent.py
@@ -35,7 +35,9 @@ class WindowParent() = ManageOneChild():
                size = self.child.minsize(self.beginmeasuring())
                self.size = max(self.size[0], size[0]), \
                                                max(self.size[1], size[1])
-               stdwin.setdefwinsize(self.size)
+               #stdwin.setdefwinsize(self.size)
+               # XXX Compensate stdwin bug:
+               stdwin.setdefwinsize(self.size[0]+4, self.size[1]+2)
                self.win = stdwin.open(self.title)
                if self.itimer:
                        self.win.settimer(self.itimer)