def mark_range(self, start, size): mark_start, mark_end = calc_char_range(start, start + size) mark_start = clamp_range(mark_start, 0, self.get_size()) mark_end = clamp_range(mark_end, 0, self.get_size()) self.SetStyle(mark_start, mark_end, self.highlight_style) self.Refresh()
def mark_range(self, start, size): mark_start, mark_end = calc_char_range(start, start + size, self.get_width_chars()) mark_start = clamp_range(mark_start, 0, self.get_size()) mark_end = clamp_range(mark_end, 0, self.get_size()) self.SetStyle(mark_start, mark_end, self.highlight_style) self.Refresh() mark_start, mark_end = calc_ascii_range(start, start + size, self.get_width_chars()) mark_start = clamp_range(mark_start, 0, self.get_ascii_size()) mark_end = clamp_range(mark_end, 0, self.get_ascii_size()) self.ascii_view.SetStyle(mark_start, mark_end, self.highlight_style) self.Refresh()
def fill_view(self, pos): paged_pos = get_page_offset(pos, self.view.get_width_chars()) if safe_seek(self.input, paged_pos): size = clamp_range(get_page_size(self.view), 1, MAX_SIZE) self.view.display_data(self.input.read(size)) self.pos = paged_pos
def fill_view(self, pos): paged_pos = get_page_offset(pos, self.view.get_width_chars()) if safe_seek(self.input, paged_pos): size = clamp_range(get_page_size(self.view), 1, MAX_SIZE) self.view.display_data(self.input.read(size)) self.pos = paged_pos self.update_addr_view()