← Back to branch summary

~ubuntu-branches/debian/stretch/gnome-builder/stretch

« back to all changes in this revision

Viewing changes to data/ui/gb-editor-view.ui

  • Committer: Package Import Robot
  • Author(s): Andreas Henriksson
  • Date: 2015-10-11 12:38:45 UTC
  • Revision ID: package-import@ubuntu.com-20151011123845-a0hvkz01se0p1p5a
Tags: upstream-3.16.3
Import upstream version 3.16.3

Show diffs side-by-side

added added

removed removed

Lines of Context:
data/ui/gb-editor-view.ui
 
1
<?xml version="1.0" encoding="UTF-8"?>
 
2
<interface>
 
3
  <!-- interface-requires gtk+ 3.15 -->
 
4
  <template class="GbEditorView" parent="GbView">
 
5
    <child>
 
6
      <object class="GtkBox">
 
7
        <property name="orientation">vertical</property>
 
8
        <property name="visible">true</property>
 
9
        <child>
 
10
          <object class="GtkRevealer" id="modified_revealer">
 
11
            <property name="visible">true</property>
 
12
            <property name="reveal-child">false</property>
 
13
            <child>
 
14
              <object class="GtkInfoBar">
 
15
                <property name="visible">true</property>
 
16
                <child internal-child="action_area">
 
17
                  <object class="GtkButtonBox">
 
18
                    <property name="spacing">6</property>
 
19
                    <property name="layout_style">end</property>
 
20
                    <child>
 
21
                      <object class="GtkButton">
 
22
                        <property name="action-name">view.reload-buffer</property>
 
23
                        <property name="label" translatable="yes">_Reload</property>
 
24
                        <property name="visible">true</property>
 
25
                        <property name="receives_default">true</property>
 
26
                        <property name="use_underline">true</property>
 
27
                      </object>
 
28
                    </child>
 
29
                    <child>
 
30
                      <object class="GtkButton" id="modified_cancel_button">
 
31
                        <property name="label" translatable="yes">_Cancel</property>
 
32
                        <property name="visible">true</property>
 
33
                        <property name="use_underline">true</property>
 
34
                      </object>
 
35
                    </child>
 
36
                  </object>
 
37
                </child>
 
38
                <child internal-child="content_area">
 
39
                  <object class="GtkBox">
 
40
                    <property name="spacing">16</property>
 
41
                    <child>
 
42
                      <object class="GtkLabel" id="modified_label">
 
43
                        <property name="hexpand">true</property>
 
44
                        <property name="label" translatable="yes">Builder has discovered that this file has been modified externally. Would you like to reload the file?</property>
 
45
                        <property name="visible">true</property>
 
46
                        <property name="wrap">true</property>
 
47
                        <property name="xalign">0</property>
 
48
                      </object>
 
49
                    </child>
 
50
                  </object>
 
51
                </child>
 
52
              </object>
 
53
            </child>
 
54
          </object>
 
55
        </child>
 
56
        <child>
 
57
          <object class="GtkOverlay">
 
58
            <property name="visible">true</property>
 
59
            <child type="overlay">
 
60
              <object class="GtkProgressBar" id="progress_bar">
 
61
                <property name="halign">fill</property>
 
62
                <property name="orientation">horizontal</property>
 
63
                <property name="valign">start</property>
 
64
                <property name="visible">false</property>
 
65
                <style>
 
66
                  <class name="osd"/>
 
67
                </style>
 
68
              </object>
 
69
            </child>
 
70
            <child>
 
71
              <object class="GtkPaned" id="paned">
 
72
                <property name="expand">true</property>
 
73
                <property name="orientation">vertical</property>
 
74
                <property name="visible">true</property>
 
75
                <child>
 
76
                  <object class="GbEditorFrame" id="frame1">
 
77
                    <property name="visible">true</property>
 
78
                  </object>
 
79
                  <packing>
 
80
                    <property name="resize">true</property>
 
81
                    <property name="shrink">false</property>
 
82
                  </packing>
 
83
                </child>
 
84
              </object>
 
85
            </child>
 
86
          </object>
 
87
        </child>
 
88
        <child internal-child="controls">
 
89
          <object class="GtkBox">
 
90
            <child>
 
91
              <object class="GtkMenuButton" id="symbols_button">
 
92
                <property name="popover">symbols_popover</property>
 
93
                <property name="visible">false</property>
 
94
                <style>
 
95
                  <class name="dim-label"/>
 
96
                  <class name="text-button"/>
 
97
                  <class name="flat"/>
 
98
                </style>
 
99
                <child>
 
100
                  <object class="GtkImage">
 
101
                    <property name="icon-name">lang-function-symbolic</property>
 
102
                    <property name="visible">true</property>
 
103
                  </object>
 
104
                </child>
 
105
              </object>
 
106
            </child>
 
107
            <child>
 
108
              <object class="GtkMenuButton" id="tweak_button">
 
109
                <property name="popover">popover</property>
 
110
                <property name="visible">true</property>
 
111
                <style>
 
112
                  <class name="dim-label"/>
 
113
                  <class name="text-button"/>
 
114
                  <class name="flat"/>
 
115
                </style>
 
116
              </object>
 
117
            </child>
 
118
          </object>
 
119
        </child>
 
120
      </object>
 
121
    </child>
 
122
  </template>
 
123
  <object class="GtkPopover" id="popover">
 
124
    <child>
 
125
      <object class="GbEditorTweakWidget" id="tweak_widget">
 
126
        <property name="border-width">12</property>
 
127
        <property name="visible">true</property>
 
128
      </object>
 
129
    </child>
 
130
  </object>
 
131
  <object class="GtkPopover" id="symbols_popover">
 
132
    <child>
 
133
      <object class="GtkBox">
 
134
        <property name="border-width">12</property>
 
135
        <property name="orientation">vertical</property>
 
136
        <property name="visible">true</property>
 
137
        <style>
 
138
          <class name="linked"/>
 
139
        </style>
 
140
        <child>
 
141
          <object class="GtkSearchEntry" id="symbols_search_entry">
 
142
            <property name="placeholder-text" translatable="yes">Search Symbols</property>
 
143
            <property name="visible">true</property>
 
144
          </object>
 
145
        </child>
 
146
        <child>
 
147
          <object class="GbScrolledWindow">
 
148
            <property name="max-content-height">500</property>
 
149
            <property name="max-content-width">400</property>
 
150
            <property name="min-content-width">200</property>
 
151
            <property name="min-content-height">30</property>
 
152
            <property name="shadow-type">in</property>
 
153
            <property name="visible">true</property>
 
154
            <child>
 
155
              <object class="GtkListBox" id="symbols_listbox">
 
156
                <property name="visible">true</property>
 
157
              </object>
 
158
            </child>
 
159
          </object>
 
160
        </child>
 
161
      </object>
 
162
    </child>
 
163
  </object>
 
164
</interface>