gtk_draw(): Fix re-drawing after panning

406d7c4a · Tiago Peixoto · 627015f1 · 406d7c4a
Commit 406d7c4a authored Jun 15, 2015 by Tiago Peixoto
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 0 deletions

src/graph_tool/draw/gtk_draw.py src/graph_tool/draw/gtk_draw.py +3 -0

No files found.
--- a/src/graph_tool/draw/gtk_draw.py
+++ b/src/graph_tool/draw/gtk_draw.py
@@ -465,8 +465,11 @@ class GraphWidget(Gtk.DrawingArea):
            self.regenerate_surface(lazy=False)
            self.geometry = geometry

+        cr.save()
+        cr.set_matrix(self.smatrix)
        ul = self.pos_to_device((0, 0), surface=True, cr=cr)
        lr = self.pos_to_device(self.base_geometry, surface=True, cr=cr)
+        cr.restore()

        if (ul[0] > 0 or lr[0] < geometry[0] or
            ul[1] > 0 or lr[1] < geometry[1]):