Make the eraser tool the default tool for an ERASER device

diff --git a/src/desktop-events.cpp b/src/desktop-events.cpp
index 5b6972c33b5368c27b952c620df39fea08c26007..d2b21294c6bd419d12f3cd441171cb598d2f9639 100644 (file)
--- a/src/desktop-events.cpp
+++ b/src/desktop-events.cpp
@@ -337,7 +337,7 @@ static void init_extended()
                         toolToUse[GDK_SOURCE_PEN] = TOOLS_CALLIGRAPHIC;
                         break;
                     case GDK_SOURCE_ERASER:
-                        toolToUse[GDK_SOURCE_ERASER] = TOOLS_TWEAK;
+                        toolToUse[GDK_SOURCE_ERASER] = TOOLS_ERASER;
                         break;
                     case GDK_SOURCE_CURSOR:
                         toolToUse[GDK_SOURCE_CURSOR] = TOOLS_SELECT;