slingshot/planet.patch

   1 --- planet.py   2007-06-22 13:52:33.000000000 +0200
   2 +++ planet.py.patched   2011-07-02 22:24:22.000000000 +0200
   3 @@ -56,7 +56,7 @@
   4                                 if d < (self.r + p.get_radius()) * 1.5 + 0.1 * (self.mass + p.get_mass()):
   5                                         positioned = False
   6
   7 -               s = round(2 * self.r / 0.96)
   8 +               s = int(round(2 * self.r / 0.96))
   9                 self.orig = pygame.transform.scale(self.image, (s, s))
  10
  11                 self.image = self.orig