[gnome-builder] symbols: name the menu button "Symbols"
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] symbols: name the menu button "Symbols"
- Date: Sun, 29 Mar 2015 08:14:00 +0000 (UTC)
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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]