Replaced deprecated gtk_widget_set_margin_...() usages with modern solutions in gtk3...
commitd8d702d147b76a0c3f51d71957390ca988ba2f07
authorcazfi <cazfi@a0f10bec-cc02-0410-94fc-a9cfff90b4cd>
Tue, 1 Nov 2016 05:41:40 +0000 (1 05:41 +0000)
committercazfi <cazfi@a0f10bec-cc02-0410-94fc-a9cfff90b4cd>
Tue, 1 Nov 2016 05:41:40 +0000 (1 05:41 +0000)
treeca358c09a828ee0e0c41c1617ae92fb9ba7e5b62
parentf38b29e5dc450fe5ad7819c3fec93538fcb47f09
Replaced deprecated gtk_widget_set_margin_...() usages with modern solutions in gtk3.22-client

See patch #6732

git-svn-id: svn://svn.gna.org/svn/freeciv/branches/S2_6@34303 a0f10bec-cc02-0410-94fc-a9cfff90b4cd
client/gui-gtk-3.22/citydlg.c
client/gui-gtk-3.22/dialogs.c
client/gui-gtk-3.22/gui_main.c
client/gui-gtk-3.22/gui_stuff.c
client/gui-gtk-3.22/happiness.c
client/gui-gtk-3.22/pages.c
client/gui-gtk-3.22/repodlgs.c
client/gui-gtk-3.22/voteinfo_bar.c
m4/gtk3.22-client.m4