[iagno/gnome-3-10] Ensure infobar is hidden before changing message

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 5fefeeee67132ce02bf990912843a995634646df
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun Sep 29 20:21:37 2013 -0500

    Ensure infobar is hidden before changing message
    
    https://bugzilla.gnome.org/show_bug.cgi?id=708132

 src/iagno.vala |   10 +++++++++-
 1 files changed, 9 insertions(+), 1 deletions(-)
---
diff --git a/src/iagno.vala b/src/iagno.vala
index b69790b..a015113 100644
--- a/src/iagno.vala
+++ b/src/iagno.vala
@@ -321,8 +321,16 @@ public class Iagno : Gtk.Application
         show_preferences_dialog ();
     }
 
-    private void show_message (string message, Gtk.MessageType type)
+    private async void show_message (string message, Gtk.MessageType type)
     {
+        /* Bug #708132 */
+        infobar.hide ();
+        while (infobar.visible)
+        {
+            Idle.add (show_message.callback);
+            yield;
+        }
+
         infobar.message_type = type;
         infobar_label.set_label (message);
         infobar.show ();