From 291ead910575d533808c29356b180974a9052744 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Javier=20Jard=C3=B3n?= <jjardon@gnome.org>
Date: Fri, 7 May 2010 09:24:34 +0200
Subject: [PATCH] Reintroduce gtk_progress_* api in gtk.symbols

This api is deprecated but GtkToolBar still uses it
---
 gtk/gtk.symbols | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/gtk/gtk.symbols b/gtk/gtk.symbols
index 924663b827..c831414862 100644
--- a/gtk/gtk.symbols
+++ b/gtk/gtk.symbols
@@ -2655,6 +2655,27 @@ gtk_print_win32_devnames_from_printer_name
 #endif
 #endif
 
+#if IN_HEADER(__GTK_PROGRESS_H__)
+#if IN_FILE(__GTK_PROGRESS_C__)
+#ifndef GTK_DISABLE_DEPRECATED
+gtk_progress_configure
+gtk_progress_get_current_percentage
+gtk_progress_get_current_text
+gtk_progress_get_percentage_from_value
+gtk_progress_get_text_from_value
+gtk_progress_get_type
+gtk_progress_get_value
+gtk_progress_set_activity_mode
+gtk_progress_set_adjustment
+gtk_progress_set_format_string
+gtk_progress_set_percentage
+gtk_progress_set_show_text
+gtk_progress_set_text_alignment
+gtk_progress_set_value
+#endif
+#endif
+#endif
+
 #if IN_HEADER(__GTK_PROGRESS_BAR_H__)
 #if IN_FILE(__GTK_PROGRESS_BAR_C__)
 gtk_progress_bar_get_fraction