Hi,

> /* ui/gtk.c */
> void gd_update_windowsize(VirtualConsole *vc);
> +int gd_refresh_rate_millihz(GtkWidget *window);

Patch is whitespace-mangled.
Can you resend with "git send-email"?

thanks,
  Gerd


Reply via email to