[Freeciv-Dev] [patch #6732] Replace deprecated gtk_widget_set_margin_...() calls with modern solutions

Update of patch #6732 (project freeciv): Status: Ready For Test => Done Open/Closed:Open => Closed ___ Reply to this item at:

[Freeciv-Dev] [patch #6732] Replace deprecated gtk_widget_set_margin_...() calls with modern solutions

Update of patch #6732 (project freeciv): Status: In Progress => Ready For Test ___ Follow-up Comment #3: S2_6 gtk3.22-client patch (file #29100) __

[Freeciv-Dev] [patch #6732] Replace deprecated gtk_widget_set_margin_...() calls with modern solutions

Update of patch #6732 (project freeciv): Status:Done => In Progress Open/Closed: Closed => Open Planned Release: 3.0.0 => 2.6.g, 3.0.0

[Freeciv-Dev] [patch #6732] Replace deprecated gtk_widget_set_margin_...() calls with modern solutions

Update of patch #6732 (project freeciv): Status: Ready For Test => Done Assigned to:None => cazfi Open/Closed:Open => Closed _

[Freeciv-Dev] [patch #6732] Replace deprecated gtk_widget_set_margin_...() calls with modern solutions

URL: Summary: Replace deprecated gtk_widget_set_margin_...() calls with modern solutions Project: Freeciv Submitted by: cazfi Submitted on: Sat 26 Dec 2015 01:35:39 PM EET Category: client-gtk-