diff options
author | Christian Persch <chpe@cvs.gnome.org> | 2005-06-15 16:20:57 (GMT) |
---|---|---|
committer | Christian Persch <chpe@src.gnome.org> | 2005-06-15 16:20:57 (GMT) |
commit | bd5740c79b6f56d26d6b8f105e8bd63b3961bd3c (patch) | |
tree | 18639b441076f7f6bbff1a9ecab8037dbcddc884 /shell/ev-properties.c | |
parent | dbb1f2d648cdb8f6213cf42a52f466305f3964ed (diff) |
Hide the progress label when finished; bug #307697.
2005-06-15 Christian Persch <chpe@cvs.gnome.org>
* shell/ev-properties.c: (update_progress_label):
Hide the progress label when finished; bug #307697.
Diffstat (limited to 'shell/ev-properties.c')
-rw-r--r-- | shell/ev-properties.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/shell/ev-properties.c b/shell/ev-properties.c index 15e5ab1..daf90b1 100644 --- a/shell/ev-properties.c +++ b/shell/ev-properties.c @@ -191,8 +191,9 @@ update_progress_label (GtkWidget *label, double progress) (int) (progress * 100)); gtk_label_set_text (GTK_LABEL (label), progress_text); g_free (progress_text); + gtk_widget_show (label); } else { - gtk_label_set_text (GTK_LABEL (label), ""); + gtk_widget_hide (label); } } |