git.rcrnstn.net - rcrnstn/xdot.py

Browse code

Previously when you zoomed in, you wouldn't get the temporary zoom-out
while scrolling.

From: Marius Gedminas <marius@gedmin.as>

Jose.R.Fonseca authored on 13/07/2008 03:21:26
Showing 1 changed files

History View file @ c737920

@@ -676,7 +676,7 @@ class ZoomToAnimation(MoveToAnimation):
                              distance = math.hypot(self.source_x - self.target_x,
                                                    self.source_y - self.target_y)
                              rect = self.dot_widget.get_allocation()
                     -        visible = min(rect.width, rect.height) * self.dot_widget.zoom_ratio
                     +        visible = min(rect.width, rect.height) / self.dot_widget.zoom_ratio
                              visible *= 0.9
                              desired_middle_zoom = visible / distance
                              self.extra_zoom = min(0, 4 * (desired_middle_zoom - middle_zoom))