changeset 308 | bf1facfd1d36 |
parent 300 | 34d1402c0e24 |
child 312 | eab54dae434d |
--- a/TextViewer.py Mon Jan 19 17:08:17 2009 +0100 +++ b/TextViewer.py Mon Jan 19 17:09:11 2009 +0100 @@ -417,7 +417,8 @@ last_styled_pos = current_pos state = SPACE if char == ']': - struct_elements = self.StructElementsStack.pop(-1) + if len(self.StructElementsStack) > 0: + struct_elements = self.StructElementsStack.pop() word = char state = WORD current_pos += 1