0bcf5f3e407d8cce0f5207d99c127ebe4136fa7c
[pspp-builds.git] / src / ui / gui / output-viewer.glade
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3 <!--Generated with glade3 3.2.0 on Sat Aug 11 17:19:54 2007 by john@marilyn-->
4 <glade-interface>
5   <widget class="GtkWindow" id="output-viewer-window">
6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7     <property name="default_width">600</property>
8     <property name="default_height">400</property>
9     <child>
10       <widget class="GtkVBox" id="vbox1">
11         <property name="visible">True</property>
12         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
13         <child>
14           <widget class="GtkMenuBar" id="menubar1">
15             <property name="visible">True</property>
16             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
17             <child>
18               <widget class="GtkMenuItem" id="menuitem1">
19                 <property name="visible">False</property>
20                 <property name="sensitive">False</property>
21                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
22                 <property name="label" translatable="yes">_File</property>
23                 <property name="use_underline">True</property>
24                 <child>
25                   <widget class="GtkMenu" id="menu1">
26                     <property name="visible">True</property>
27                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
28                     <child>
29                       <widget class="GtkImageMenuItem" id="file_save">
30                         <property name="visible">True</property>
31                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
32                         <property name="label" translatable="yes">gtk-save</property>
33                         <property name="use_underline">True</property>
34                         <property name="use_stock">True</property>
35                       </widget>
36                     </child>
37                     <child>
38                       <widget class="GtkImageMenuItem" id="file_save-as">
39                         <property name="visible">True</property>
40                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
41                         <property name="label" translatable="yes">gtk-save-as</property>
42                         <property name="use_underline">True</property>
43                         <property name="use_stock">True</property>
44                       </widget>
45                     </child>
46                   </widget>
47                 </child>
48               </widget>
49             </child>
50             <child>
51               <widget class="GtkMenuItem" id="menuitem2">
52                 <property name="visible">False</property>
53                 <property name="sensitive">False</property>
54                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
55                 <property name="label" translatable="yes">_Edit</property>
56                 <property name="use_underline">True</property>
57                 <child>
58                   <widget class="GtkMenu" id="menu2">
59                     <property name="visible">True</property>
60                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
61                     <child>
62                       <widget class="GtkImageMenuItem" id="imagemenuitem7">
63                         <property name="visible">True</property>
64                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
65                         <property name="label" translatable="yes">gtk-copy</property>
66                         <property name="use_underline">True</property>
67                         <property name="use_stock">True</property>
68                       </widget>
69                     </child>
70                   </widget>
71                 </child>
72               </widget>
73             </child>
74             <child>
75               <widget class="GtkMenuItem" id="menuitem3">
76                 <property name="visible">True</property>
77                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
78                 <property name="label" translatable="yes">_Windows</property>
79                 <property name="use_underline">True</property>
80                 <child>
81                   <widget class="GtkMenu" id="menu4">
82                     <property name="visible">True</property>
83                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
84                     <child>
85                       <widget class="GtkMenuItem" id="windows_minimise-all">
86                         <property name="visible">True</property>
87                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
88                         <property name="label" translatable="yes">_Minimize All Windows</property>
89                         <property name="use_underline">True</property>
90                       </widget>
91                     </child>
92                   </widget>
93                 </child>
94               </widget>
95             </child>
96             <child>
97               <widget class="GtkMenuItem" id="menuitem9">
98                 <property name="visible">True</property>
99                 <property name="label" translatable="yes">_Help</property>
100                 <property name="use_underline">True</property>
101                 <child>
102                   <widget class="GtkMenu" id="menuitem9_menu">
103                     <child>
104                       <widget class="GtkMenuItem" id="help_reference">
105                         <property name="visible">True</property>
106                         <property name="label" translatable="yes">_Reference Manual</property>
107                         <property name="use_underline">True</property>
108                       </widget>
109                     </child>
110                     <child>
111                       <widget class="GtkMenuItem" id="help_about">
112                         <property name="visible">True</property>
113                         <property name="label" translatable="yes">_About</property>
114                         <property name="use_underline">True</property>
115                       </widget>
116                     </child>
117                   </widget>
118                 </child>
119               </widget>
120             </child>
121           </widget>
122           <packing>
123             <property name="expand">False</property>
124           </packing>
125         </child>
126         <child>
127           <widget class="GtkScrolledWindow" id="scrolledwindow1">
128             <property name="visible">True</property>
129             <property name="can_focus">True</property>
130             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
131             <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
132             <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
133             <child>
134               <widget class="GtkTextView" id="output-viewer-textview">
135                 <property name="visible">True</property>
136                 <property name="can_focus">True</property>
137                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
138                 <property name="editable">False</property>
139                 <property name="left_margin">5</property>
140               </widget>
141             </child>
142           </widget>
143           <packing>
144             <property name="position">1</property>
145           </packing>
146         </child>
147       </widget>
148     </child>
149   </widget>
150 </glade-interface>