equal
deleted
inserted
replaced
892 indent = (indent / 2 + 1) * 2 |
892 indent = (indent / 2 + 1) * 2 |
893 self.Editor.AddText("\n" + " " * indent) |
893 self.Editor.AddText("\n" + " " * indent) |
894 key_handled = True |
894 key_handled = True |
895 elif key == wx.WXK_BACK: |
895 elif key == wx.WXK_BACK: |
896 if self.TextSyntax in ["ST", "ALL"]: |
896 if self.TextSyntax in ["ST", "ALL"]: |
897 indent = self.Editor.GetLineIndentation(line) |
897 if not self.Editor.GetSelectedText(): |
898 if lineText.strip() == "" and indent > 0: |
898 indent = self.Editor.GetColumn(self.Editor.GetCurrentPos()) |
899 self.Editor.DelLineLeft() |
899 if lineText.strip() == "" and len(lineText) > 0 and indent > 0: |
900 self.Editor.AddText(" " * ((max(0, indent - 1) / 2) * 2)) |
900 self.Editor.DelLineLeft() |
901 key_handled = True |
901 self.Editor.AddText(" " * ((max(0, indent - 1) / 2) * 2)) |
|
902 key_handled = True |
902 if not key_handled: |
903 if not key_handled: |
903 event.Skip() |
904 event.Skip() |
904 else: |
905 else: |
905 event.Skip() |
906 event.Skip() |
906 |
907 |