equal
deleted
inserted
replaced
415 elif state == NUMBER: |
415 elif state == NUMBER: |
416 self.SetStyling(current_pos - last_styled_pos, STC_PLC_NUMBER) |
416 self.SetStyling(current_pos - last_styled_pos, STC_PLC_NUMBER) |
417 last_styled_pos = current_pos |
417 last_styled_pos = current_pos |
418 state = SPACE |
418 state = SPACE |
419 if char == ']': |
419 if char == ']': |
420 struct_elements = self.StructElementsStack.pop(-1) |
420 if len(self.StructElementsStack) > 0: |
|
421 struct_elements = self.StructElementsStack.pop() |
421 word = char |
422 word = char |
422 state = WORD |
423 state = WORD |
423 current_pos += 1 |
424 current_pos += 1 |
424 if state == COMMENT: |
425 if state == COMMENT: |
425 self.SetStyling(current_pos - last_styled_pos + 2, STC_PLC_COMMENT) |
426 self.SetStyling(current_pos - last_styled_pos + 2, STC_PLC_COMMENT) |