1.1 --- a/simplified.py Tue Oct 10 00:46:32 2006 +0200
1.2 +++ b/simplified.py Sat Oct 14 02:17:40 2006 +0200
1.3 @@ -30,6 +30,8 @@
1.4
1.5 "Maintain records of unique names for each simple name."
1.6
1.7 + index_separator = "-"
1.8 +
1.9 def __init__(self):
1.10 self.obj_to_name = {}
1.11 self.names = {}
1.12 @@ -44,7 +46,7 @@
1.13 self.names[name] = 0
1.14 n = self.names[name] + 1
1.15 self.names[name] = n
1.16 - self.obj_to_name[obj] = "%s#%d" % (name, n)
1.17 + self.obj_to_name[obj] = "%s%s%d" % (name, self.index_separator, n)
1.18
1.19 naming = Naming()
1.20