button action to toggle eraser
authorMartin Renold <martinxyz@gmx.ch>
Wed, 19 Sep 2012 11:11:40 +0000 (13:11 +0200)
committerMartin Renold <martinxyz@gmx.ch>
Wed, 19 Sep 2012 11:11:40 +0000 (13:11 +0200)
commitcbc9794c77a96c0b72cdffd1f5ff6f0a38ef803d
treea5290ca4ed321feb99520c7989aa9d480cc15a6a
parent5a4f6b0aff84b7d1532a4d0dc5221e87d8957d55
button action to toggle eraser

https://gna.org/bugs/index.php?19556
gui/preferenceswindow.py