OSDN Git Service

replace scrolled window and viewport with hbox and scrollbar
[fukui-no-namari/fukui-no-namari.git] / src / data / thread_window.glade
1 <?xml version="1.0" encoding="UTF-8" standalone="no"?>
2 <!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3 <!--*- mode: xml -*-->
4 <glade-interface>
5   <widget class="GtkWindow" id="thread_window">
6     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
7     <signal name="destroy" handler="on_thread_window_destroy"/>
8     <signal name="delete_event" handler="on_thread_window_delete_event"/>
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="menu_file">
19                 <property name="visible">True</property>
20                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
21                 <property name="label" translatable="yes">_File</property>
22                 <property name="use_underline">True</property>
23                 <child>
24                   <widget class="GtkMenu" id="menu1">
25                     <property name="visible">True</property>
26                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
27                     <child>
28                       <widget class="GtkImageMenuItem" id="menu_file_show_board">
29                         <property name="visible">True</property>
30                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
31                         <property name="label" translatable="yes">Show Board</property>
32                         <property name="use_underline">True</property>
33                         <signal name="activate" handler="on_show_board_activate"/>
34                         <child internal-child="image">
35                           <widget class="GtkImage" id="menu-item-image11">
36                             <property name="stock">gtk-go-up</property>
37                           </widget>
38                         </child>
39                       </widget>
40                     </child>
41                     <child>
42                       <widget class="GtkImageMenuItem" id="menu_file_compose">
43                         <property name="visible">True</property>
44                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
45                         <property name="label" translatable="yes">_Compose Message</property>
46                         <property name="use_underline">True</property>
47                         <signal name="activate" handler="on_compose_activate"/>
48                         <accelerator key="S" modifiers="GDK_CONTROL_MASK" signal="activate"/>
49                         <child internal-child="image">
50                           <widget class="GtkImage" id="menu-item-image12">
51                             <property name="stock">gtk-edit</property>
52                           </widget>
53                         </child>
54                       </widget>
55                     </child>
56                     <child>
57                       <widget class="GtkImageMenuItem" id="menu_file_delete">
58                         <property name="visible">True</property>
59                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
60                         <property name="label" translatable="yes">gtk-delete</property>
61                         <property name="use_underline">True</property>
62                         <property name="use_stock">True</property>
63                         <signal name="activate" handler="on_delete_activate"/>
64                       </widget>
65                     </child>
66                     <child>
67                       <widget class="GtkSeparatorMenuItem" id="menuitem1">
68                         <property name="visible">True</property>
69                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
70                       </widget>
71                     </child>
72                     <child>
73                       <widget class="GtkImageMenuItem" id="menu_file_close">
74                         <property name="visible">True</property>
75                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
76                         <property name="label" translatable="yes">gtk-close</property>
77                         <property name="use_underline">True</property>
78                         <property name="use_stock">True</property>
79                         <signal name="activate" handler="on_close_activate"/>
80                       </widget>
81                     </child>
82                     <child>
83                       <widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
84                         <property name="visible">True</property>
85                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
86                       </widget>
87                     </child>
88                     <child>
89                       <widget class="GtkImageMenuItem" id="menu_file_quit">
90                         <property name="visible">True</property>
91                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
92                         <property name="label" translatable="yes">gtk-quit</property>
93                         <property name="use_underline">True</property>
94                         <property name="use_stock">True</property>
95                         <signal name="activate" handler="on_quit_activate"/>
96                       </widget>
97                     </child>
98                   </widget>
99                 </child>
100               </widget>
101             </child>
102             <child>
103               <widget class="GtkMenuItem" id="menu_edit">
104                 <property name="visible">True</property>
105                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
106                 <property name="label" translatable="yes">_Edit</property>
107                 <property name="use_underline">True</property>
108               </widget>
109             </child>
110             <child>
111               <widget class="GtkMenuItem" id="menu_view">
112                 <property name="visible">True</property>
113                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
114                 <property name="label" translatable="yes">_View</property>
115                 <property name="use_underline">True</property>
116                 <child>
117                   <widget class="GtkMenu" id="menu2">
118                     <property name="visible">True</property>
119                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
120                     <child>
121                       <widget class="GtkImageMenuItem" id="menu_view_refresh">
122                         <property name="visible">True</property>
123                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
124                         <property name="label" translatable="yes">gtk-refresh</property>
125                         <property name="use_underline">True</property>
126                         <property name="use_stock">True</property>
127                         <signal name="activate" handler="on_refresh_activate"/>
128                         <accelerator key="R" modifiers="GDK_CONTROL_MASK" signal="activate"/>
129                       </widget>
130                     </child>
131                     <child>
132                       <widget class="GtkSeparatorMenuItem" id="menuitem2">
133                         <property name="visible">True</property>
134                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
135                       </widget>
136                     </child>
137                     <child>
138                       <widget class="GtkMenuItem" id="menu_view_toolbar">
139                         <property name="visible">True</property>
140                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
141                         <property name="label" translatable="yes">_Toolbar</property>
142                         <property name="use_underline">True</property>
143                         <signal name="activate" handler="on_toolbar_activate"/>
144                       </widget>
145                     </child>
146                     <child>
147                       <widget class="GtkMenuItem" id="menu_view_statusbar">
148                         <property name="visible">True</property>
149                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
150                         <property name="label" translatable="yes">_Statusbar</property>
151                         <property name="use_underline">True</property>
152                         <signal name="activate" handler="on_statusbar_activate"/>
153                       </widget>
154                     </child>
155                   </widget>
156                 </child>
157               </widget>
158             </child>
159             <child>
160               <widget class="GtkMenuItem" id="menu_bookmarks">
161                 <property name="visible">True</property>
162                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
163                 <property name="label" translatable="yes">_Bookmarks</property>
164                 <property name="use_underline">True</property>
165                 <child>
166                   <widget class="GtkMenu" id="menu4">
167                     <property name="visible">True</property>
168                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
169                     <child>
170                       <widget class="GtkMenuItem" id="menu_bookmarks_bookmarkthispage">
171                         <property name="visible">True</property>
172                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
173                         <property name="label" translatable="yes">Bookmark This Page</property>
174                         <property name="use_underline">True</property>
175                         <signal name="activate" handler="on_add_bookmark_activate"/>
176                       </widget>
177                     </child>
178                     <child>
179                       <widget class="GtkMenuItem" id="menu_bookmarks_showbookmarks">
180                         <property name="visible">True</property>
181                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
182                         <property name="label" translatable="yes">_Show Bookmarks</property>
183                         <property name="use_underline">True</property>
184                         <signal name="activate" handler="on_manage_bookmarks_activate"/>
185                       </widget>
186                     </child>
187                   </widget>
188                 </child>
189               </widget>
190             </child>
191             <child>
192               <widget class="GtkMenuItem" id="menu_help">
193                 <property name="visible">True</property>
194                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
195                 <property name="label" translatable="yes">_Help</property>
196                 <property name="use_underline">True</property>
197                 <child>
198                   <widget class="GtkMenu" id="menu3">
199                     <property name="visible">True</property>
200                     <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
201                     <child>
202                       <widget class="GtkImageMenuItem" id="imagemenuitem10">
203                         <property name="visible">True</property>
204                         <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
205                         <property name="label" translatable="yes">gtk-about</property>
206                         <property name="use_underline">True</property>
207                         <property name="use_stock">True</property>
208                       </widget>
209                     </child>
210                   </widget>
211                 </child>
212               </widget>
213             </child>
214           </widget>
215           <packing>
216             <property name="expand">False</property>
217           </packing>
218         </child>
219         <child>
220           <widget class="GtkToolbar" id="toolbar">
221             <property name="visible">True</property>
222             <property name="toolbar_style">GTK_TOOLBAR_BOTH</property>
223             <child>
224               <widget class="GtkToolButton" id="toolbutton_refresh">
225                 <property name="visible">True</property>
226                 <property name="stock_id">gtk-refresh</property>
227                 <signal name="clicked" handler="on_refresh_activate"/>
228               </widget>
229               <packing>
230                 <property name="expand">False</property>
231               </packing>
232             </child>
233             <child>
234               <widget class="GtkToolButton" id="toolbutton_showboard">
235                 <property name="visible">True</property>
236                 <property name="label" translatable="yes">Board</property>
237                 <property name="use_underline">True</property>
238                 <property name="stock_id">gtk-go-up</property>
239                 <signal name="clicked" handler="on_show_board_activate"/>
240               </widget>
241               <packing>
242                 <property name="expand">False</property>
243               </packing>
244             </child>
245             <child>
246               <widget class="GtkToolButton" id="toolbutton_compose">
247                 <property name="visible">True</property>
248                 <property name="label" translatable="yes">Compose</property>
249                 <property name="use_underline">True</property>
250                 <property name="stock_id">gnome-stock-mail-new</property>
251                 <signal name="clicked" handler="on_compose_activate"/>
252               </widget>
253               <packing>
254                 <property name="expand">False</property>
255               </packing>
256             </child>
257             <child>
258               <widget class="GtkToolButton" id="toolbutton_delete">
259                 <property name="visible">True</property>
260                 <property name="stock_id">gtk-delete</property>
261                 <signal name="clicked" handler="on_delete_activate"/>
262               </widget>
263               <packing>
264                 <property name="expand">False</property>
265               </packing>
266             </child>
267           </widget>
268           <packing>
269             <property name="expand">False</property>
270             <property name="position">1</property>
271           </packing>
272         </child>
273         <child>
274           <widget class="GtkHBox" id="hbox1">
275             <property name="visible">True</property>
276             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
277             <child>
278               <widget class="GtkDrawingArea" id="drawingarea">
279                 <property name="visible">True</property>
280                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
281                 <signal name="expose_event" handler="on_drawingarea_expose_event"/>
282                 <signal name="button_press_event" handler="on_drawingarea_button_press_event"/>
283                 <signal name="size_allocate" handler="on_drawingarea_size_allocate"/>
284                 <signal name="scroll_event" handler="on_drawingarea_scroll_event"/>
285               </widget>
286             </child>
287             <child>
288               <widget class="GtkVScrollbar" id="vscrollbar">
289                 <property name="visible">True</property>
290                 <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
291                 <property name="adjustment">0 0 100 1 10 10</property>
292                 <property name="restrict_to_fill_level">False</property>
293                 <signal name="value_changed" handler="on_vscrollbar_value_changed"/>
294               </widget>
295               <packing>
296                 <property name="expand">False</property>
297                 <property name="position">1</property>
298               </packing>
299             </child>
300           </widget>
301           <packing>
302             <property name="position">2</property>
303           </packing>
304         </child>
305         <child>
306           <widget class="GtkStatusbar" id="statusbar">
307             <property name="visible">True</property>
308             <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
309             <property name="spacing">2</property>
310           </widget>
311           <packing>
312             <property name="expand">False</property>
313             <property name="position">3</property>
314           </packing>
315         </child>
316       </widget>
317     </child>
318   </widget>
319 </glade-interface>