[Freeciv-Dev] (PR#3575) Build turns remaining isn't updated when CMA changed

["Vasco Alexandre da Silva Costa" <vasc@xxxxxxxxxxxxxx>]

Turns out this is a bug in GTK+ 2.0 itself:

void
gtk_progress_set_format_string (GtkProgress *progress,
                                const gchar *format)
{
  g_return_if_fail (GTK_IS_PROGRESS (progress));
 
  /* Turn on format, in case someone called
   * gtk_progress_bar_set_text() and turned it off.
   */
  progress->use_text_format = TRUE;
   
  if (format)
    {
      if (progress->format)
        g_free (progress->format);
      progress->format = g_strdup (format);
 
>      if (GTK_WIDGET_DRAWABLE (GTK_WIDGET (progress)))
>        gtk_widget_queue_resize (GTK_WIDGET (progress));
    }
}
 
The stupid thing doesn't update the graphics if the widget is not in
plain view. Then you move it into plain view, but it was not updated.
I'll apply my #5 Hammer on the GTK+ folks.

In the meantime I applied a kludge to work around it.