← Back to branch summary

~0x44/nova/bug838466

« back to all changes in this revision

Viewing changes to vendor/Twisted-10.0.0/twisted/manhole/ui/gtk2manhole.glade

  • Committer: Jesse Andrews
  • Date: 2010-05-28 06:05:26 UTC
  • Revision ID: git-v1:bf6e6e718cdc7488e2da87b21e258ccc065fe499
initial commit

Show diffs side-by-side

added added

removed removed

Lines of Context:
vendor/Twisted-10.0.0/twisted/manhole/ui/gtk2manhole.glade
 
1
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
 
2
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
 
3
 
 
4
<glade-interface>
 
5
 
 
6
<widget class="GtkWindow" id="manholeWindow">
 
7
  <property name="visible">True</property>
 
8
  <property name="title" translatable="yes">Manhole</property>
 
9
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
 
10
  <property name="window_position">GTK_WIN_POS_NONE</property>
 
11
  <property name="modal">False</property>
 
12
  <property name="default_width">620</property>
 
13
  <property name="default_height">320</property>
 
14
  <property name="resizable">True</property>
 
15
  <property name="destroy_with_parent">False</property>
 
16
  <property name="decorated">True</property>
 
17
  <property name="skip_taskbar_hint">False</property>
 
18
  <property name="skip_pager_hint">False</property>
 
19
  <property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
 
20
  <property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
 
21
  <signal name="delete_event" handler="_on_manholeWindow_delete_event" last_modification_time="Mon, 27 Jan 2003 05:14:26 GMT"/>
 
22
 
 
23
  <child>
 
24
    <widget class="GtkVBox" id="vbox1">
 
25
      <property name="visible">True</property>
 
26
      <property name="homogeneous">False</property>
 
27
      <property name="spacing">0</property>
 
28
 
 
29
      <child>
 
30
        <widget class="GtkMenuBar" id="menubar1">
 
31
          <property name="visible">True</property>
 
32
 
 
33
          <child>
 
34
            <widget class="GtkMenuItem" id="menuitem4">
 
35
              <property name="visible">True</property>
 
36
              <property name="label" translatable="yes">_File</property>
 
37
              <property name="use_underline">True</property>
 
38
 
 
39
              <child>
 
40
                <widget class="GtkMenu" id="menuitem4_menu">
 
41
 
 
42
                  <child>
 
43
                    <widget class="GtkImageMenuItem" id="openMenuItem">
 
44
                      <property name="visible">True</property>
 
45
                      <property name="label">gtk-open</property>
 
46
                      <property name="use_stock">True</property>
 
47
                      <signal name="activate" handler="_on_openMenuItem_activate" last_modification_time="Sun, 02 Feb 2003 18:44:51 GMT"/>
 
48
                    </widget>
 
49
                  </child>
 
50
 
 
51
                  <child>
 
52
                    <widget class="GtkImageMenuItem" id="reload_self">
 
53
                      <property name="visible">True</property>
 
54
                      <property name="tooltip" translatable="yes">Reload the manhole client code.  (Only useful for client development.)</property>
 
55
                      <property name="label" translatable="yes">_Reload self</property>
 
56
                      <property name="use_underline">True</property>
 
57
                      <signal name="activate" handler="on_reload_self_activate" last_modification_time="Mon, 24 Feb 2003 00:15:10 GMT"/>
 
58
 
 
59
                      <child internal-child="image">
 
60
                        <widget class="GtkImage" id="image1">
 
61
                          <property name="visible">True</property>
 
62
                          <property name="stock">gtk-revert-to-saved</property>
 
63
                          <property name="icon_size">1</property>
 
64
                          <property name="xalign">0.5</property>
 
65
                          <property name="yalign">0.5</property>
 
66
                          <property name="xpad">0</property>
 
67
                          <property name="ypad">0</property>
 
68
                        </widget>
 
69
                      </child>
 
70
                    </widget>
 
71
                  </child>
 
72
 
 
73
                  <child>
 
74
                    <widget class="GtkMenuItem" id="separatormenuitem1">
 
75
                      <property name="visible">True</property>
 
76
                    </widget>
 
77
                  </child>
 
78
 
 
79
                  <child>
 
80
                    <widget class="GtkImageMenuItem" id="quitMenuItem">
 
81
                      <property name="visible">True</property>
 
82
                      <property name="label">gtk-quit</property>
 
83
                      <property name="use_stock">True</property>
 
84
                      <signal name="activate" handler="_on_quitMenuItem_activate" last_modification_time="Sun, 02 Feb 2003 18:48:12 GMT"/>
 
85
                    </widget>
 
86
                  </child>
 
87
                </widget>
 
88
              </child>
 
89
            </widget>
 
90
          </child>
 
91
 
 
92
          <child>
 
93
            <widget class="GtkMenuItem" id="menuitem5">
 
94
              <property name="visible">True</property>
 
95
              <property name="label" translatable="yes">_Edit</property>
 
96
              <property name="use_underline">True</property>
 
97
 
 
98
              <child>
 
99
                <widget class="GtkMenu" id="menuitem5_menu">
 
100
 
 
101
                  <child>
 
102
                    <widget class="GtkImageMenuItem" id="cut1">
 
103
                      <property name="visible">True</property>
 
104
                      <property name="label">gtk-cut</property>
 
105
                      <property name="use_stock">True</property>
 
106
                      <signal name="activate" handler="on_cut1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
 
107
                    </widget>
 
108
                  </child>
 
109
 
 
110
                  <child>
 
111
                    <widget class="GtkImageMenuItem" id="copy1">
 
112
                      <property name="visible">True</property>
 
113
                      <property name="label">gtk-copy</property>
 
114
                      <property name="use_stock">True</property>
 
115
                      <signal name="activate" handler="on_copy1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
 
116
                    </widget>
 
117
                  </child>
 
118
 
 
119
                  <child>
 
120
                    <widget class="GtkImageMenuItem" id="paste1">
 
121
                      <property name="visible">True</property>
 
122
                      <property name="label">gtk-paste</property>
 
123
                      <property name="use_stock">True</property>
 
124
                      <signal name="activate" handler="on_paste1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
 
125
                    </widget>
 
126
                  </child>
 
127
 
 
128
                  <child>
 
129
                    <widget class="GtkImageMenuItem" id="delete1">
 
130
                      <property name="visible">True</property>
 
131
                      <property name="label">gtk-delete</property>
 
132
                      <property name="use_stock">True</property>
 
133
                      <signal name="activate" handler="on_delete1_activate" last_modification_time="Mon, 27 Jan 2003 04:50:50 GMT"/>
 
134
                    </widget>
 
135
                  </child>
 
136
                </widget>
 
137
              </child>
 
138
            </widget>
 
139
          </child>
 
140
 
 
141
          <child>
 
142
            <widget class="GtkMenuItem" id="menuitem7">
 
143
              <property name="visible">True</property>
 
144
              <property name="label" translatable="yes">_Help</property>
 
145
              <property name="use_underline">True</property>
 
146
 
 
147
              <child>
 
148
                <widget class="GtkMenu" id="menuitem7_menu">
 
149
 
 
150
                  <child>
 
151
                    <widget class="GtkMenuItem" id="aboutMenuItem">
 
152
                      <property name="visible">True</property>
 
153
                      <property name="label" translatable="yes">_About</property>
 
154
                      <property name="use_underline">True</property>
 
155
                      <signal name="activate" handler="_on_aboutMenuItem_activate" last_modification_time="Thu, 06 Feb 2003 19:49:53 GMT"/>
 
156
                    </widget>
 
157
                  </child>
 
158
                </widget>
 
159
              </child>
 
160
            </widget>
 
161
          </child>
 
162
        </widget>
 
163
        <packing>
 
164
          <property name="padding">0</property>
 
165
          <property name="expand">False</property>
 
166
          <property name="fill">False</property>
 
167
        </packing>
 
168
      </child>
 
169
 
 
170
      <child>
 
171
        <widget class="GtkVPaned" id="vpaned1">
 
172
          <property name="visible">True</property>
 
173
          <property name="can_focus">True</property>
 
174
 
 
175
          <child>
 
176
            <widget class="GtkScrolledWindow" id="scrolledwindow1">
 
177
              <property name="visible">True</property>
 
178
              <property name="can_focus">True</property>
 
179
              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
180
              <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 
181
              <property name="shadow_type">GTK_SHADOW_NONE</property>
 
182
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
183
 
 
184
              <child>
 
185
                <widget class="GtkTextView" id="output">
 
186
                  <property name="visible">True</property>
 
187
                  <property name="can_focus">True</property>
 
188
                  <property name="editable">False</property>
 
189
                  <property name="overwrite">False</property>
 
190
                  <property name="accepts_tab">True</property>
 
191
                  <property name="justification">GTK_JUSTIFY_LEFT</property>
 
192
                  <property name="wrap_mode">GTK_WRAP_WORD</property>
 
193
                  <property name="cursor_visible">True</property>
 
194
                  <property name="pixels_above_lines">0</property>
 
195
                  <property name="pixels_below_lines">0</property>
 
196
                  <property name="pixels_inside_wrap">0</property>
 
197
                  <property name="left_margin">0</property>
 
198
                  <property name="right_margin">0</property>
 
199
                  <property name="indent">0</property>
 
200
                  <property name="text" translatable="yes"></property>
 
201
                </widget>
 
202
              </child>
 
203
            </widget>
 
204
            <packing>
 
205
              <property name="shrink">True</property>
 
206
              <property name="resize">True</property>
 
207
            </packing>
 
208
          </child>
 
209
 
 
210
          <child>
 
211
            <widget class="GtkScrolledWindow" id="scrolledwindow2">
 
212
              <property name="visible">True</property>
 
213
              <property name="can_focus">True</property>
 
214
              <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
 
215
              <property name="vscrollbar_policy">GTK_POLICY_ALWAYS</property>
 
216
              <property name="shadow_type">GTK_SHADOW_NONE</property>
 
217
              <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
218
 
 
219
              <child>
 
220
                <widget class="GtkTextView" id="input">
 
221
                  <property name="visible">True</property>
 
222
                  <property name="can_focus">True</property>
 
223
                  <property name="has_focus">True</property>
 
224
                  <property name="editable">True</property>
 
225
                  <property name="overwrite">False</property>
 
226
                  <property name="accepts_tab">True</property>
 
227
                  <property name="justification">GTK_JUSTIFY_LEFT</property>
 
228
                  <property name="wrap_mode">GTK_WRAP_NONE</property>
 
229
                  <property name="cursor_visible">True</property>
 
230
                  <property name="pixels_above_lines">0</property>
 
231
                  <property name="pixels_below_lines">0</property>
 
232
                  <property name="pixels_inside_wrap">0</property>
 
233
                  <property name="left_margin">0</property>
 
234
                  <property name="right_margin">0</property>
 
235
                  <property name="indent">0</property>
 
236
                  <property name="text" translatable="yes"></property>
 
237
                </widget>
 
238
              </child>
 
239
            </widget>
 
240
            <packing>
 
241
              <property name="shrink">True</property>
 
242
              <property name="resize">False</property>
 
243
            </packing>
 
244
          </child>
 
245
        </widget>
 
246
        <packing>
 
247
          <property name="padding">0</property>
 
248
          <property name="expand">True</property>
 
249
          <property name="fill">True</property>
 
250
        </packing>
 
251
      </child>
 
252
 
 
253
      <child>
 
254
        <widget class="GtkStatusbar" id="statusbar1">
 
255
          <property name="visible">True</property>
 
256
          <property name="has_resize_grip">True</property>
 
257
        </widget>
 
258
        <packing>
 
259
          <property name="padding">0</property>
 
260
          <property name="expand">False</property>
 
261
          <property name="fill">False</property>
 
262
        </packing>
 
263
      </child>
 
264
    </widget>
 
265
  </child>
 
266
</widget>
 
267
 
 
268
</glade-interface>