Code

Make the eraser tool the default tool for an ERASER device
authorjoncruz <joncruz@users.sourceforge.net>
Tue, 29 Apr 2008 04:18:22 +0000 (04:18 +0000)
committerjoncruz <joncruz@users.sourceforge.net>
Tue, 29 Apr 2008 04:18:22 +0000 (04:18 +0000)
commite9c0d7ece2701baff137563c0d02ffd89e159f53
tree9d8aaab86c8c4ae134d7b80e75b47c976af7bbf2
parent8e3bc87303a6cea371a4b1bf950016669a218755
Make the eraser tool the default tool for an ERASER device
src/desktop-events.cpp