From e9c0d7ece2701baff137563c0d02ffd89e159f53 Mon Sep 17 00:00:00 2001 From: joncruz Date: Tue, 29 Apr 2008 04:18:22 +0000 Subject: [PATCH] Make the eraser tool the default tool for an ERASER device --- src/desktop-events.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/desktop-events.cpp b/src/desktop-events.cpp index 5b6972c33..d2b21294c 100644 --- 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; -- 2.30.2