diff options
Diffstat (limited to 'www')
| -rw-r--r-- | www/grail/files/patch-BookmarksGUI.py | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/www/grail/files/patch-BookmarksGUI.py b/www/grail/files/patch-BookmarksGUI.py new file mode 100644 index 000000000000..f33842f494d9 --- /dev/null +++ b/www/grail/files/patch-BookmarksGUI.py @@ -0,0 +1,11 @@ +--- ancillary/BookmarksGUI.py.orig Sun Mar 28 06:26:45 1999 ++++ ancillary/BookmarksGUI.py Sun Mar 5 08:07:12 2000 +@@ -1096,7 +1096,7 @@ + if at_end: + parent.append_child(node) + else: +- parenr.insert_child(node, 0) ++ parent.insert_child(node, 0) + # scroll the newly added node into view + self.set_modflag(1) + self.root_redisplay() |