equal
deleted
inserted
replaced
627 elif state == COMMENT: |
627 elif state == COMMENT: |
628 if line.endswith("*)"): |
628 if line.endswith("*)"): |
629 self.SetStyling(current_pos - last_styled_pos + 2, STC_PLC_COMMENT) |
629 self.SetStyling(current_pos - last_styled_pos + 2, STC_PLC_COMMENT) |
630 last_styled_pos = current_pos + 1 |
630 last_styled_pos = current_pos + 1 |
631 state = SPACE |
631 state = SPACE |
|
632 if len(self.CallStack) > 0: |
|
633 current_call = self.CallStack.pop() |
|
634 else: |
|
635 current_call = None |
632 elif state == PRAGMA: |
636 elif state == PRAGMA: |
633 if line.endswith("}"): |
637 if line.endswith("}"): |
634 self.SetStyling(current_pos - last_styled_pos, STC_PLC_EMPTY) |
638 self.SetStyling(current_pos - last_styled_pos, STC_PLC_EMPTY) |
635 last_styled_pos = current_pos |
639 last_styled_pos = current_pos |
636 state = SPACE |
640 state = SPACE |