
21 Oct
2013
21 Oct
'13
11:56 a.m.
On Sun, 2013-10-20 at 23:22 -0700, Yale Zhang wrote:
OK, problem found. GTK is returning the wrong source type (GDK_SOURCE_PEN instead of GDK_SOURCE_ERASER) for the eraser tool. I'll hard code a work around for now and report the problem on GNOME's bugzilla.
I wonder how it works in Gimp. They do the same thing, but with the same bug.
Martin,