(self, yank)
| 558 | Editor.yank_buffer[-1] = Editor.yank_buffer[-1][:end_col] |
| 559 | Editor.yank_buffer[0] = Editor.yank_buffer[0][start_col:] |
| 560 | def delete_mark(self, yank): |
| 561 | if yank: |
| 562 | self.yank_mark() |
| 563 | start_row, start_col, end_row, end_col = self.mark_range() |
| 564 | self.undo_add(start_row, self.content[start_row:end_row], KEY_NONE, 1, False) |
| 565 | self.content[start_row] = self.content[start_row][:start_col] + self.content[end_row - 1][end_col:] |
| 566 | if start_row + 1 < end_row: |
| 567 | del self.content[start_row + 1:end_row] |
| 568 | self.col = start_col |
| 569 | if self.content == []: |
| 570 | self.content = [""] |
| 571 | self.undo[-1][1] = 1 |
| 572 | self.total_lines = len(self.content) |
| 573 | self.cur_line = start_row |
| 574 | self.clear_mark() |
| 575 | def handle_edit_keys(self, key, char): |
| 576 | l = self.content[self.cur_line] |
| 577 | if key == KEY_NONE: |
no test coverage detected