[gnome-builder] symbols: name the menu button "Symbols"

[Christian Hergert <chergert src gnome org>]

commit 435858d9008c04522adc02c003039291dd74862d
Author: Christian Hergert <christian hergert me>
Date:   Sun Mar 29 01:11:29 2015 -0700

    symbols: name the menu button "Symbols"
    
    We might use an icon long term, but this is better than "down arrow".

 data/ui/gb-editor-view.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/gb-editor-view.ui b/data/ui/gb-editor-view.ui
index a81e603..d5d9bfa 100644
--- a/data/ui/gb-editor-view.ui
+++ b/data/ui/gb-editor-view.ui
@@ -89,6 +89,7 @@
           <object class="GtkBox">
             <child>
               <object class="GtkMenuButton" id="symbols_button">
+                <property name="label" translatable="yes">Symbols</property>
                 <property name="popover">symbols_popover</property>
                 <property name="visible">false</property>
                 <style>