code: def check_selection(self):
          
          if self.current_prompt_pos is None:
              self.set_cursor_position('eof')
          else:
              self.truncate_selection(self.current_prompt_pos)
docs: Check if selected text is r/w,
          otherwise remove read-only parts of selection