Removing pencil?

[Daniel . Egger]

Hiho!

 I think it's time to remove that useless pencil before the release
 of the magic version 1.2. Did anyone use it in the last time?
 It contains no functionality that paintbrush doesn't have except of
 hard edges (anyone needing that "feature"?)...

 Anyway: This is up for discussion on this list. Quite a lot people
 I know think it's useless but maybe you don't think so. :)

 Patch is appended....

-- 

Servus,
       Daniel

diff23.gz