equal
deleted
inserted
replaced
594 last_styled_pos = current_pos |
594 last_styled_pos = current_pos |
595 if state == WORD: |
595 if state == WORD: |
596 current_context = self.Variables |
596 current_context = self.Variables |
597 state = COMMENT |
597 state = COMMENT |
598 elif line.endswith("{") and state != PRAGMA: |
598 elif line.endswith("{") and state != PRAGMA: |
599 self.SetStyling(current_pos - last_styled_pos - 1, 31) |
599 self.SetStyling(current_pos - last_styled_pos, 31) |
600 last_styled_pos = current_pos |
600 last_styled_pos = current_pos |
601 if state == WORD: |
601 if state == WORD: |
602 current_context = self.Variables |
602 current_context = self.Variables |
603 state = PRAGMA |
603 state = PRAGMA |
604 elif state == COMMENT: |
604 elif state == COMMENT: |