Re: [PATCH] Stop using deprecated gtk margin functions.