Added _exit and register as Tcl command exit. Micro lay-out fix.

diff --git a/Lib/lib-tk/Tkinter.py b/Lib/lib-tk/Tkinter.py
index 72e702ce3570b5ef4d08974582e664e226021237..c05704ec2c1026feb0cdac298d647600aa05c981 100644 (file)
--- a/Lib/lib-tk/Tkinter.py
+++ b/Lib/lib-tk/Tkinter.py
@@ -46,6 +46,10 @@ _default_root = None
 def _tkerror(err):
        pass
 
+def _exit(code='0'):
+       import sys
+       sys.exit(getint(code))
+
 _varnum = 0
 class Variable:
        def __init__(self, master=None):
@@ -529,6 +533,7 @@ class Tk(Misc, Wm):
                        if baseName[-3:] == '.py': baseName = baseName[:-3]
                self.tk = tkinter.create(screenName, baseName, className)
                self.tk.createcommand('tkerror', _tkerror)
+               self.tk.createcommand('exit', _exit)
        def destroy(self):
                for c in self.children.values(): c.destroy()
 ##             del self.master.children[self._name]
@@ -1078,8 +1083,7 @@ class Text(Widget):
        def tag_delete(self, *tagNames):
                apply(self.tk.call, (self._w, 'tag', 'delete') + tagNames)
        def tag_lower(self, tagName, belowThis=None):
-               self.tk.call(self._w, 'tag', 'lower', 
-                            tagName, belowThis)
+               self.tk.call(self._w, 'tag', 'lower', tagName, belowThis)
        def tag_names(self, index=None):
                return self.tk.splitlist(
                        self.tk.call(self._w, 'tag', 'names', index))

diff --git a/Lib/tkinter/Tkinter.py b/Lib/tkinter/Tkinter.py
index 72e702ce3570b5ef4d08974582e664e226021237..c05704ec2c1026feb0cdac298d647600aa05c981 100755 (executable)
--- a/Lib/tkinter/Tkinter.py
+++ b/Lib/tkinter/Tkinter.py
@@ -46,6 +46,10 @@ _default_root = None
 def _tkerror(err):
        pass
 
+def _exit(code='0'):
+       import sys
+       sys.exit(getint(code))
+
 _varnum = 0
 class Variable:
        def __init__(self, master=None):
@@ -529,6 +533,7 @@ class Tk(Misc, Wm):
                        if baseName[-3:] == '.py': baseName = baseName[:-3]
                self.tk = tkinter.create(screenName, baseName, className)
                self.tk.createcommand('tkerror', _tkerror)
+               self.tk.createcommand('exit', _exit)
        def destroy(self):
                for c in self.children.values(): c.destroy()
 ##             del self.master.children[self._name]
@@ -1078,8 +1083,7 @@ class Text(Widget):
        def tag_delete(self, *tagNames):
                apply(self.tk.call, (self._w, 'tag', 'delete') + tagNames)
        def tag_lower(self, tagName, belowThis=None):
-               self.tk.call(self._w, 'tag', 'lower', 
-                            tagName, belowThis)
+               self.tk.call(self._w, 'tag', 'lower', tagName, belowThis)
        def tag_names(self, index=None):
                return self.tk.splitlist(
                        self.tk.call(self._w, 'tag', 'names', index))