[pitivi] medialibrary.ui: Use a smaller, symbolic label for warning_infobar close button

[Jean-François Fortin Tam <jfft src gnome org>]

commit ccb2ce388a5d7099fdac6901561f290e0aa1f592
Author: Jean-François Fortin Tam <nekohayo gmail com>
Date:   Wed Dec 18 00:06:00 2013 -0500

    medialibrary.ui: Use a smaller, symbolic label for warning_infobar close button
    
    The use of the "Close" label made the button a bit too prominent, especially
    in languages such as French. Besides, one can argue that the verb "close"
    may be weird in the context of an infobar inside another widget.
    Using the "✖" unicode symbol and a tooltip instead.

 data/ui/medialibrary.ui |    5 +++--
 1 files changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/data/ui/medialibrary.ui b/data/ui/medialibrary.ui
index e49d7a5..90c179f 100644
--- a/data/ui/medialibrary.ui
+++ b/data/ui/medialibrary.ui
@@ -209,11 +209,12 @@
         </child>
         <child>
           <object class="GtkButton" id="warnings_dismiss_button">
-            <property name="label">gtk-close</property>
+            <property name="label">✖</property>
             <property name="visible">True</property>
             <property name="can_focus">True</property>
+            <property name="has_tooltip">True</property>
+            <property name="tooltip_text" translatable="yes">Close this message</property>
             <property name="receives_default">True</property>
-            <property name="use_stock">True</property>
             <signal name="clicked" handler="_warningInfoBarDismissedCb" swapped="no"/>
           </object>
           <packing>