Web · Wiki · Activities · Blog · Lists · Chat · Meeting · Bugs · Git · Translate · Archive · People · Donate

Commit 125a5dc57ab03bb8ac22cbcf259ede6b6857a338

  • avatar
  • quozl (Committer)
  • Mon May 17 22:15:46 EDT 2010
  • avatar
  • Gonzalo Odiard <gonzalo @aro…ax.(none)> (Author)
  • Mon May 17 21:47:47 EDT 2010
fix #1902
Area.py
(1 / 1)
  
350350
351351 if state & gtk.gdk.BUTTON1_MASK and self.pixmap != None:
352352 if self.tool['name'] == 'pencil':
353 self.d.brush(widget, coords, self.last, 2, 'circle')
353 self.d.brush(widget, coords, self.last, self.line_size, 'circle')
354354 self.last = coords
355355 elif self.tool['name'] == 'eraser':
356356 self.d.eraser(widget, coords, self.last, self.line_size, self.tool['line shape'])