Change margins in gtk settings dialog.
authorJose Dapena Paz <jdapena@igalia.com>
Thu, 3 Dec 2009 12:16:59 +0000 (13:16 +0100)
committerJose Dapena Paz <jdapena@igalia.com>
Thu, 3 Dec 2009 13:08:06 +0000 (14:08 +0100)
commit6f2e826523ba67c716f6aa7390b4a1526386abbb
treee996562dd3eabca9e14e249256c00c4e44993128
parentf226091f2f43a3754771b3abf18ca230bdde80b0
Change margins in gtk settings dialog.
src/widgets/modest-default-global-settings-dialog.c