TextViewer.py
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