Re: [PATCH] Avoid gtk_widget_get_pointer ().



On Wed, 2011-11-30 at 12:31 +0100, Stefano Teso wrote:
> 
> Fixed patch attached.

Hey Stefano,

thanks for the patch, looks good. Feel free to push to git master.

Cosimo



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]