On Sat, 2008-01-05 at 22:06 +0100, Aurélien Naldi wrote: > Here is another patch adding custom icon for plugins (and an entry in > the document menu). You forgot to attach it.