Example #1
0
    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()
Example #2
0
    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
Example #4
0
    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()
    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()