diffmap.py 6.95 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
### Copyright (C) 2002-2009 Stephen Kennedy <stevek@gnome.org>
### Copyright (C) 2009-2010 Kai Willadsen <kai.willadsen@gmail.com>

### This program is free software; you can redistribute it and/or modify
### it under the terms of the GNU General Public License as published by
### the Free Software Foundation; either version 2 of the License, or
### (at your option) any later version.

### This program is distributed in the hope that it will be useful,
### but WITHOUT ANY WARRANTY; without even the implied warranty of
### MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
### GNU General Public License for more details.

### You should have received a copy of the GNU General Public License
### along with this program; if not, write to the Free Software
16 17
### Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301,
### USA.
18

19 20
import collections

21 22
import cairo

23 24 25
from gi.repository import GObject
from gi.repository import Gdk
from gi.repository import Gtk
26 27


28
class DiffMap(Gtk.DrawingArea):
29 30 31 32

    __gtype_name__ = "DiffMap"

    def __init__(self):
33 34
        GObject.GObject.__init__(self)
        self.add_events(Gdk.EventMask.BUTTON_PRESS_MASK)
35 36 37 38 39 40 41
        self._scrolladj = None
        self._difffunc = lambda: None
        self._handlers = []
        self._y_offset = 0
        self._h_offset = 0
        self._scroll_y = 0
        self._scroll_height = 0
42
        self._setup = False
43
        self._width = 10
44

45
    def setup(self, scrollbar, change_chunk_fn, color_map):
46 47 48 49 50
        for (o, h) in self._handlers:
            o.disconnect(h)

        self._scrolladj = scrollbar.get_adjustment()
        self.on_scrollbar_style_set(scrollbar, None)
51
        self.on_scrollbar_size_allocate(scrollbar, scrollbar.get_allocation())
52
        scrollbar.ensure_style()
53 54 55 56
        scroll_style_hid = scrollbar.connect("style-set",
                                             self.on_scrollbar_style_set)
        scroll_size_hid = scrollbar.connect("size-allocate",
                                            self.on_scrollbar_size_allocate)
57
        adj_change_hid = self._scrolladj.connect("changed",
Kai Willadsen's avatar
Kai Willadsen committed
58
                                                 lambda w: self.queue_draw())
59 60
        adj_val_hid = self._scrolladj.connect("value-changed",
                                              lambda w: self.queue_draw())
61
        self._handlers = [(scrollbar, scroll_style_hid),
62 63 64
                          (scrollbar, scroll_size_hid),
                          (self._scrolladj, adj_change_hid),
                          (self._scrolladj, adj_val_hid)]
65
        self._difffunc = change_chunk_fn
66
        self.set_color_scheme(color_map)
67
        self._setup = True
68
        self._cached_map = None
69 70
        self.queue_draw()

71 72 73
    def on_diffs_changed(self, *args):
        self._cached_map = None

74 75
    def set_color_scheme(self, color_map):
        self.fill_colors, self.line_colors = color_map
76 77 78
        self.queue_draw()

    def on_scrollbar_style_set(self, scrollbar, previous_style):
79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94
        value = GObject.Value(int)
        scrollbar.style_get_property("stepper-size", value)
        stepper_size = value.get_int()
        scrollbar.style_get_property("stepper-spacing", value)
        stepper_spacing = value.get_int()

        bool_value = GObject.Value(bool)
        scrollbar.style_get_property("has-backward-stepper", bool_value)
        has_backward = bool_value.get_boolean()
        scrollbar.style_get_property("has-secondary-forward-stepper", bool_value)
        has_secondary_forward = bool_value.get_boolean()
        scrollbar.style_get_property("has-secondary-backward-stepper", bool_value)
        has_secondary_backward = bool_value.get_boolean()
        scrollbar.style_get_property("has-forward-stepper", bool_value)
        has_foreward = bool_value.get_boolean()
        steppers = [has_backward, has_secondary_forward, has_secondary_backward, has_foreward]
95 96 97 98 99 100 101 102 103 104 105 106 107 108 109

        offset = stepper_size * steppers[0:2].count(True)
        shorter = stepper_size * steppers.count(True)
        if steppers[0] or steppers[1]:
            offset += stepper_spacing
            shorter += stepper_spacing
        if steppers[2] or steppers[3]:
            shorter += stepper_spacing
        self._y_offset = offset
        self._h_offset = shorter
        self.queue_draw()

    def on_scrollbar_size_allocate(self, scrollbar, allocation):
        self._scroll_y = allocation.y
        self._scroll_height = allocation.height
110
        self._width = max(allocation.width, 10)
111
        self._cached_map = None
112
        self.queue_resize()
113

114
    def do_draw(self, context):
115 116
        if not self._setup:
            return
117
        height = self._scroll_height - self._h_offset - 1
118 119 120
        y_start = self._scroll_y - self.get_allocation().y - self._y_offset + 1
        width = self.get_allocated_width()
        xpad = 2.5
121
        x0 = xpad
122
        x1 = width - 2 * xpad
123 124 125

        context.translate(0, y_start)
        context.set_line_width(1)
126
        context.rectangle(x0 - 3, -1, x1 + 6, height + 1)
127 128
        context.clip()

129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151
        if self._cached_map is None:
            surface = cairo.Surface.create_similar(
                context.get_target(), cairo.CONTENT_COLOR_ALPHA,
                width, height)
            cache_ctx = cairo.Context(surface)
            cache_ctx.set_line_width(1)

            tagged_diffs = collections.defaultdict(list)
            for c, y0, y1 in self._difffunc():
                tagged_diffs[c].append((y0, y1))

            for tag, diffs in tagged_diffs.items():
                cache_ctx.set_source_rgba(*self.fill_colors[tag])
                for y0, y1 in diffs:
                    y0, y1 = round(y0 * height) - 0.5, round(y1 * height) - 0.5
                    cache_ctx.rectangle(x0, y0, x1, y1 - y0)
                cache_ctx.fill_preserve()
                cache_ctx.set_source_rgba(*self.line_colors[tag])
                cache_ctx.stroke()
            self._cached_map = surface

        context.set_source_surface(self._cached_map, 0., 0.)
        context.paint()
152

153 154 155
        page_color = (0., 0., 0., 0.1)
        page_outline_color = (0.0, 0.0, 0.0, 0.3)
        adj = self._scrolladj
156 157
        s = round(height * (adj.get_value() / adj.get_upper())) - 0.5
        e = round(height * (adj.get_page_size() / adj.get_upper()))
158 159 160 161 162 163
        context.set_source_rgba(*page_color)
        context.rectangle(x0 - 2, s, x1 + 4, e)
        context.fill_preserve()
        context.set_source_rgba(*page_outline_color)
        context.stroke()

164 165
    def do_button_press_event(self, event):
        if event.button == 1:
166
            y_start = self.get_allocation().y - self._scroll_y - self._y_offset
167 168 169 170
            total_height = self._scroll_height - self._h_offset
            fraction = (event.y + y_start) / total_height

            adj = self._scrolladj
171 172 173
            val = fraction * adj.get_upper() - adj.get_page_size() / 2
            upper = adj.get_upper() - adj.get_page_size()
            adj.set_value(max(min(upper, val), adj.get_lower()))
174 175 176
            return True
        return False

177
    def do_get_preferred_width(self):
178
        return self._width, self._width