Always insert at 'end'

diff --git a/Demo/tkinter/guido/ManPage.py b/Demo/tkinter/guido/ManPage.py
index 9c341b62747541e7d6407c98c40ebcf2c88980f0..b13f47f279b4f07d1a1af76eeddc3fe2a105c193 100755 (executable)
--- a/Demo/tkinter/guido/ManPage.py
+++ b/Demo/tkinter/guido/ManPage.py
@@ -111,14 +111,14 @@ class EditableManPage(ScrolledText):
                self.lineno = self.lineno + 1
 
        def insert_prop(self, str, prop = ' '):
-               here = self.index(AtInsert())
-               self.insert(AtInsert(), str[0])
+               here = self.index('end')
+               self.insert('end', str[0])
                tags = self.tag_names(here)
                for tag in tags:
                        self.tag_remove(tag, here)
                if prop != ' ':
                        self.tag_add(prop, here)
-               self.insert(AtInsert(), str[1:])
+               self.insert('end', str[1:])
 
 # Readonly Man Page class -- disables editing, otherwise the same
 class ReadonlyManPage(EditableManPage):