--- a/Debugger/VariablesViewer.py Sat Jul 31 17:17:07 2010 +0200 +++ b/Debugger/VariablesViewer.py Sat Jul 31 18:58:43 2010 +0200 @@ -180,7 +180,7 @@ element 10 with a key of '000010' """ keyStr = self.text(0) - self.arrayElementKey = "{0:.6d}".format(int(keyStr)) + self.arrayElementKey = "{0:6d}".format(int(keyStr)) def key(self, column): """ @@ -217,7 +217,7 @@ element 10 with a key of '000010' """ keyStr = self.text(0)[:-2] # strip off [], () or {} - self.arrayElementKey = "{0:.6d}".format(int(keyStr)) + self.arrayElementKey = "{0:6d}".format(int(keyStr)) def key(self, column): """