| blob | 22a5bac87d7262c6ba216c0594e44d1b025936af |
1 <?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
2 <!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
4 <glade-interface>
5 <requires lib="canvas"/>
7 <widget class="GtkWindow" id="GamazonsMain">
8 <property name="width_request">770</property>
9 <property name="height_request">510</property>
10 <property name="visible">True</property>
11 <property name="title" translatable="yes">Gamazons</property>
12 <property name="type">GTK_WINDOW_TOPLEVEL</property>
13 <property name="window_position">GTK_WIN_POS_NONE</property>
14 <property name="modal">False</property>
15 <property name="resizable">False</property>
16 <property name="destroy_with_parent">True</property>
17 <signal name="destroy" handler="on_GamazonsMain_destroy" last_modification_time="Fri, 05 Jul 2002 23:38:43 GMT"/>
19 <child>
20 <widget class="GtkVBox" id="vbox1">
21 <property name="visible">True</property>
22 <property name="homogeneous">False</property>
23 <property name="spacing">0</property>
25 <child>
26 <widget class="GtkMenuBar" id="menubar1">
27 <property name="visible">True</property>
29 <child>
30 <widget class="GtkMenuItem" id="file1">
31 <property name="visible">True</property>
32 <property name="stock_item">GNOMEUIINFO_MENU_GAME_TREE</property>
34 <child>
35 <widget class="GtkMenu" id="file1_menu">
37 <child>
38 <widget class="GtkImageMenuItem" id="new1">
39 <property name="visible">True</property>
40 <property name="stock_item">GNOMEUIINFO_MENU_NEW_ITEM</property>
41 <property name="label" translatable="yes">_New</property>
42 <property name="use_underline">True</property>
43 <signal name="activate" handler="on_new1_activate" last_modification_time="Mon, 01 Jul 2002 23:04:13 GMT"/>
44 </widget>
45 </child>
47 <child>
48 <widget class="GtkImageMenuItem" id="open">
49 <property name="visible">True</property>
50 <property name="stock_item">GNOMEUIINFO_MENU_OPEN_ITEM</property>
51 <signal name="activate" handler="on_open_activate" last_modification_time="Fri, 15 Nov 2002 03:59:10 GMT"/>
52 </widget>
53 </child>
55 <child>
56 <widget class="GtkImageMenuItem" id="save_as1">
57 <property name="visible">True</property>
58 <property name="stock_item">GNOMEUIINFO_MENU_SAVE_AS_ITEM</property>
59 <signal name="activate" handler="on_save_as1_activate" last_modification_time="Fri, 15 Nov 2002 03:09:30 GMT"/>
60 </widget>
61 </child>
63 <child>
64 <widget class="GtkMenuItem" id="separator1">
65 <property name="visible">True</property>
66 </widget>
67 </child>
69 <child>
70 <widget class="GtkImageMenuItem" id="quit1">
71 <property name="visible">True</property>
72 <property name="stock_item">GNOMEUIINFO_MENU_EXIT_ITEM</property>
73 <signal name="activate" handler="on_quit1_activate" last_modification_time="Mon, 01 Jul 2002 23:04:13 GMT"/>
74 </widget>
75 </child>
76 </widget>
77 </child>
78 </widget>
79 </child>
81 <child>
82 <widget class="GtkMenuItem" id="Settings">
83 <property name="visible">True</property>
84 <property name="stock_item">GNOMEUIINFO_MENU_SETTINGS_TREE</property>
85 <signal name="activate" handler="on_preferences1_activate" last_modification_time="Mon, 01 Jul 2002 23:04:13 GMT"/>
87 <child>
88 <widget class="GtkMenu" id="Settings_menu">
90 <child>
91 <widget class="GtkMenuItem" id="player1">
92 <property name="visible">True</property>
93 <property name="label" translatable="yes">_Player</property>
94 <property name="use_underline">True</property>
95 <signal name="activate" handler="on_player1_activate" last_modification_time="Fri, 05 Jul 2002 22:01:51 GMT"/>
96 </widget>
97 </child>
99 <child>
100 <widget class="GtkMenuItem" id="theme1">
101 <property name="visible">True</property>
102 <property name="label" translatable="yes">_Theme</property>
103 <property name="use_underline">True</property>
104 <signal name="activate" handler="on_theme1_activate" last_modification_time="Wed, 30 Oct 2002 02:35:58 GMT"/>
105 </widget>
106 </child>
107 </widget>
108 </child>
109 </widget>
110 </child>
112 <child>
113 <widget class="GtkMenuItem" id="help1">
114 <property name="visible">True</property>
115 <property name="stock_item">GNOMEUIINFO_MENU_HELP_TREE</property>
117 <child>
118 <widget class="GtkMenu" id="help1_menu">
120 <child>
121 <widget class="GtkImageMenuItem" id="how_to_play1">
122 <property name="visible">True</property>
123 <property name="label" translatable="yes">_How To Play</property>
124 <property name="use_underline">True</property>
125 <signal name="activate" handler="on_how_to_play1_activate" last_modification_time="Fri, 05 Jul 2002 22:02:53 GMT"/>
127 <child internal-child="image">
128 <widget class="GtkImage" id="image2">
129 <property name="visible">True</property>
130 <property name="stock">gtk-help</property>
131 <property name="icon_size">1</property>
132 <property name="xalign">0.5</property>
133 <property name="yalign">0.5</property>
134 <property name="xpad">0</property>
135 <property name="ypad">0</property>
136 </widget>
137 </child>
138 </widget>
139 </child>
141 <child>
142 <widget class="GtkImageMenuItem" id="about1">
143 <property name="visible">True</property>
144 <property name="stock_item">GNOMEUIINFO_MENU_ABOUT_ITEM</property>
145 <signal name="activate" handler="on_about1_activate" last_modification_time="Mon, 01 Jul 2002 23:04:13 GMT"/>
146 </widget>
147 </child>
148 </widget>
149 </child>
150 </widget>
151 </child>
152 </widget>
153 <packing>
154 <property name="padding">0</property>
155 <property name="expand">False</property>
156 <property name="fill">False</property>
157 </packing>
158 </child>
160 <child>
161 <widget class="GtkScrolledWindow" id="scrolledwindow1">
162 <property name="visible">True</property>
163 <property name="can_focus">True</property>
164 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
165 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
166 <property name="shadow_type">GTK_SHADOW_NONE</property>
167 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
169 <child>
170 <widget class="GtkViewport" id="viewport1">
171 <property name="visible">True</property>
172 <property name="shadow_type">GTK_SHADOW_IN</property>
174 <child>
175 <widget class="GtkHBox" id="hbox1">
176 <property name="visible">True</property>
177 <property name="homogeneous">False</property>
178 <property name="spacing">0</property>
180 <child>
181 <widget class="GtkScrolledWindow" id="scrolledwindow2">
182 <property name="width_request">210</property>
183 <property name="visible">True</property>
184 <property name="can_default">True</property>
185 <property name="can_focus">True</property>
186 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
187 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
188 <property name="shadow_type">GTK_SHADOW_NONE</property>
189 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
191 <child>
192 <widget class="GtkViewport" id="viewport2">
193 <property name="visible">True</property>
194 <property name="shadow_type">GTK_SHADOW_IN</property>
196 <child>
197 <widget class="GtkTable" id="table1">
198 <property name="visible">True</property>
199 <property name="n_rows">3</property>
200 <property name="n_columns">3</property>
201 <property name="homogeneous">False</property>
202 <property name="row_spacing">0</property>
203 <property name="column_spacing">0</property>
205 <child>
206 <widget class="GtkHBox" id="hbox9">
207 <property name="visible">True</property>
208 <property name="homogeneous">False</property>
209 <property name="spacing">0</property>
211 <child>
212 <widget class="GtkLabel" id="label30">
213 <property name="width_request">40</property>
214 <property name="height_request">15</property>
215 <property name="visible">True</property>
216 <property name="label" translatable="yes">a</property>
217 <property name="use_underline">False</property>
218 <property name="use_markup">False</property>
219 <property name="justify">GTK_JUSTIFY_LEFT</property>
220 <property name="wrap">False</property>
221 <property name="selectable">False</property>
222 <property name="xalign">0.5</property>
223 <property name="yalign">0.5</property>
224 <property name="xpad">0</property>
225 <property name="ypad">0</property>
226 </widget>
227 <packing>
228 <property name="padding">0</property>
229 <property name="expand">False</property>
230 <property name="fill">False</property>
231 </packing>
232 </child>
234 <child>
235 <widget class="GtkLabel" id="label31">
236 <property name="width_request">40</property>
237 <property name="height_request">15</property>
238 <property name="visible">True</property>
239 <property name="label" translatable="yes">b</property>
240 <property name="use_underline">False</property>
241 <property name="use_markup">False</property>
242 <property name="justify">GTK_JUSTIFY_LEFT</property>
243 <property name="wrap">False</property>
244 <property name="selectable">False</property>
245 <property name="xalign">0.5</property>
246 <property name="yalign">0.5</property>
247 <property name="xpad">0</property>
248 <property name="ypad">0</property>
249 </widget>
250 <packing>
251 <property name="padding">0</property>
252 <property name="expand">False</property>
253 <property name="fill">False</property>
254 </packing>
255 </child>
257 <child>
258 <widget class="GtkLabel" id="label32">
259 <property name="width_request">40</property>
260 <property name="height_request">15</property>
261 <property name="visible">True</property>
262 <property name="label" translatable="yes">c</property>
263 <property name="use_underline">False</property>
264 <property name="use_markup">False</property>
265 <property name="justify">GTK_JUSTIFY_LEFT</property>
266 <property name="wrap">False</property>
267 <property name="selectable">False</property>
268 <property name="xalign">0.5</property>
269 <property name="yalign">0.5</property>
270 <property name="xpad">0</property>
271 <property name="ypad">0</property>
272 </widget>
273 <packing>
274 <property name="padding">0</property>
275 <property name="expand">False</property>
276 <property name="fill">False</property>
277 </packing>
278 </child>
280 <child>
281 <widget class="GtkLabel" id="label33">
282 <property name="width_request">40</property>
283 <property name="height_request">15</property>
284 <property name="visible">True</property>
285 <property name="label" translatable="yes">d</property>
286 <property name="use_underline">False</property>
287 <property name="use_markup">False</property>
288 <property name="justify">GTK_JUSTIFY_LEFT</property>
289 <property name="wrap">False</property>
290 <property name="selectable">False</property>
291 <property name="xalign">0.5</property>
292 <property name="yalign">0.5</property>
293 <property name="xpad">0</property>
294 <property name="ypad">0</property>
295 </widget>
296 <packing>
297 <property name="padding">0</property>
298 <property name="expand">False</property>
299 <property name="fill">False</property>
300 </packing>
301 </child>
303 <child>
304 <widget class="GtkLabel" id="label34">
305 <property name="width_request">40</property>
306 <property name="height_request">15</property>
307 <property name="visible">True</property>
308 <property name="label" translatable="yes">e</property>
309 <property name="use_underline">False</property>
310 <property name="use_markup">False</property>
311 <property name="justify">GTK_JUSTIFY_LEFT</property>
312 <property name="wrap">False</property>
313 <property name="selectable">False</property>
314 <property name="xalign">0.5</property>
315 <property name="yalign">0.5</property>
316 <property name="xpad">0</property>
317 <property name="ypad">0</property>
318 </widget>
319 <packing>
320 <property name="padding">0</property>
321 <property name="expand">False</property>
322 <property name="fill">False</property>
323 </packing>
324 </child>
326 <child>
327 <widget class="GtkLabel" id="label35">
328 <property name="width_request">40</property>
329 <property name="height_request">15</property>
330 <property name="visible">True</property>
331 <property name="label" translatable="yes">f</property>
332 <property name="use_underline">False</property>
333 <property name="use_markup">False</property>
334 <property name="justify">GTK_JUSTIFY_LEFT</property>
335 <property name="wrap">False</property>
336 <property name="selectable">False</property>
337 <property name="xalign">0.5</property>
338 <property name="yalign">0.5</property>
339 <property name="xpad">0</property>
340 <property name="ypad">0</property>
341 </widget>
342 <packing>
343 <property name="padding">0</property>
344 <property name="expand">False</property>
345 <property name="fill">False</property>
346 </packing>
347 </child>
349 <child>
350 <widget class="GtkLabel" id="label36">
351 <property name="width_request">40</property>
352 <property name="height_request">15</property>
353 <property name="visible">True</property>
354 <property name="label" translatable="yes">g</property>
355 <property name="use_underline">False</property>
356 <property name="use_markup">False</property>
357 <property name="justify">GTK_JUSTIFY_LEFT</property>
358 <property name="wrap">False</property>
359 <property name="selectable">False</property>
360 <property name="xalign">0.5</property>
361 <property name="yalign">0.5</property>
362 <property name="xpad">0</property>
363 <property name="ypad">0</property>
364 </widget>
365 <packing>
366 <property name="padding">0</property>
367 <property name="expand">False</property>
368 <property name="fill">False</property>
369 </packing>
370 </child>
372 <child>
373 <widget class="GtkLabel" id="label37">
374 <property name="width_request">40</property>
375 <property name="height_request">15</property>
376 <property name="visible">True</property>
377 <property name="label" translatable="yes">h</property>
378 <property name="use_underline">False</property>
379 <property name="use_markup">False</property>
380 <property name="justify">GTK_JUSTIFY_LEFT</property>
381 <property name="wrap">False</property>
382 <property name="selectable">False</property>
383 <property name="xalign">0.5</property>
384 <property name="yalign">0.5</property>
385 <property name="xpad">0</property>
386 <property name="ypad">0</property>
387 </widget>
388 <packing>
389 <property name="padding">0</property>
390 <property name="expand">False</property>
391 <property name="fill">False</property>
392 </packing>
393 </child>
395 <child>
396 <widget class="GtkLabel" id="label38">
397 <property name="width_request">40</property>
398 <property name="height_request">15</property>
399 <property name="visible">True</property>
400 <property name="label" translatable="yes">i</property>
401 <property name="use_underline">False</property>
402 <property name="use_markup">False</property>
403 <property name="justify">GTK_JUSTIFY_LEFT</property>
404 <property name="wrap">False</property>
405 <property name="selectable">False</property>
406 <property name="xalign">0.5</property>
407 <property name="yalign">0.5</property>
408 <property name="xpad">0</property>
409 <property name="ypad">0</property>
410 </widget>
411 <packing>
412 <property name="padding">0</property>
413 <property name="expand">False</property>
414 <property name="fill">False</property>
415 </packing>
416 </child>
418 <child>
419 <widget class="GtkLabel" id="label39">
420 <property name="width_request">40</property>
421 <property name="height_request">15</property>
422 <property name="visible">True</property>
423 <property name="label" translatable="yes">j</property>
424 <property name="use_underline">False</property>
425 <property name="use_markup">False</property>
426 <property name="justify">GTK_JUSTIFY_LEFT</property>
427 <property name="wrap">False</property>
428 <property name="selectable">False</property>
429 <property name="xalign">0.5</property>
430 <property name="yalign">0.5</property>
431 <property name="xpad">0</property>
432 <property name="ypad">0</property>
433 </widget>
434 <packing>
435 <property name="padding">0</property>
436 <property name="expand">False</property>
437 <property name="fill">False</property>
438 </packing>
439 </child>
440 </widget>
441 <packing>
442 <property name="left_attach">1</property>
443 <property name="right_attach">2</property>
444 <property name="top_attach">0</property>
445 <property name="bottom_attach">1</property>
446 </packing>
447 </child>
449 <child>
450 <widget class="GtkVBox" id="vbox7">
451 <property name="visible">True</property>
452 <property name="homogeneous">False</property>
453 <property name="spacing">0</property>
455 <child>
456 <widget class="GtkLabel" id="label29">
457 <property name="width_request">15</property>
458 <property name="height_request">40</property>
459 <property name="visible">True</property>
460 <property name="label" translatable="yes">10</property>
461 <property name="use_underline">False</property>
462 <property name="use_markup">False</property>
463 <property name="justify">GTK_JUSTIFY_LEFT</property>
464 <property name="wrap">False</property>
465 <property name="selectable">False</property>
466 <property name="xalign">0.5</property>
467 <property name="yalign">0.5</property>
468 <property name="xpad">0</property>
469 <property name="ypad">0</property>
470 </widget>
471 <packing>
472 <property name="padding">0</property>
473 <property name="expand">False</property>
474 <property name="fill">False</property>
475 </packing>
476 </child>
478 <child>
479 <widget class="GtkLabel" id="label28">
480 <property name="width_request">15</property>
481 <property name="height_request">40</property>
482 <property name="visible">True</property>
483 <property name="label" translatable="yes">9</property>
484 <property name="use_underline">False</property>
485 <property name="use_markup">False</property>
486 <property name="justify">GTK_JUSTIFY_LEFT</property>
487 <property name="wrap">False</property>
488 <property name="selectable">False</property>
489 <property name="xalign">0.5</property>
490 <property name="yalign">0.5</property>
491 <property name="xpad">0</property>
492 <property name="ypad">0</property>
493 </widget>
494 <packing>
495 <property name="padding">0</property>
496 <property name="expand">False</property>
497 <property name="fill">False</property>
498 </packing>
499 </child>
501 <child>
502 <widget class="GtkLabel" id="label27">
503 <property name="width_request">15</property>
504 <property name="height_request">40</property>
505 <property name="visible">True</property>
506 <property name="label" translatable="yes">8</property>
507 <property name="use_underline">False</property>
508 <property name="use_markup">False</property>
509 <property name="justify">GTK_JUSTIFY_LEFT</property>
510 <property name="wrap">False</property>
511 <property name="selectable">False</property>
512 <property name="xalign">0.5</property>
513 <property name="yalign">0.5</property>
514 <property name="xpad">0</property>
515 <property name="ypad">0</property>
516 </widget>
517 <packing>
518 <property name="padding">0</property>
519 <property name="expand">False</property>
520 <property name="fill">False</property>
521 </packing>
522 </child>
524 <child>
525 <widget class="GtkLabel" id="label26">
526 <property name="width_request">15</property>
527 <property name="height_request">40</property>
528 <property name="visible">True</property>
529 <property name="label" translatable="yes">7</property>
530 <property name="use_underline">False</property>
531 <property name="use_markup">False</property>
532 <property name="justify">GTK_JUSTIFY_LEFT</property>
533 <property name="wrap">False</property>
534 <property name="selectable">False</property>
535 <property name="xalign">0.5</property>
536 <property name="yalign">0.5</property>
537 <property name="xpad">0</property>
538 <property name="ypad">0</property>
539 </widget>
540 <packing>
541 <property name="padding">0</property>
542 <property name="expand">False</property>
543 <property name="fill">False</property>
544 </packing>
545 </child>
547 <child>
548 <widget class="GtkLabel" id="label25">
549 <property name="width_request">15</property>
550 <property name="height_request">40</property>
551 <property name="visible">True</property>
552 <property name="label" translatable="yes">6</property>
553 <property name="use_underline">False</property>
554 <property name="use_markup">False</property>
555 <property name="justify">GTK_JUSTIFY_LEFT</property>
556 <property name="wrap">False</property>
557 <property name="selectable">False</property>
558 <property name="xalign">0.5</property>
559 <property name="yalign">0.5</property>
560 <property name="xpad">0</property>
561 <property name="ypad">0</property>
562 </widget>
563 <packing>
564 <property name="padding">0</property>
565 <property name="expand">False</property>
566 <property name="fill">False</property>
567 </packing>
568 </child>
570 <child>
571 <widget class="GtkLabel" id="label24">
572 <property name="width_request">15</property>
573 <property name="height_request">40</property>
574 <property name="visible">True</property>
575 <property name="label" translatable="yes">5</property>
576 <property name="use_underline">False</property>
577 <property name="use_markup">False</property>
578 <property name="justify">GTK_JUSTIFY_LEFT</property>
579 <property name="wrap">False</property>
580 <property name="selectable">False</property>
581 <property name="xalign">0.5</property>
582 <property name="yalign">0.5</property>
583 <property name="xpad">0</property>
584 <property name="ypad">0</property>
585 </widget>
586 <packing>
587 <property name="padding">0</property>
588 <property name="expand">False</property>
589 <property name="fill">False</property>
590 </packing>
591 </child>
593 <child>
594 <widget class="GtkLabel" id="label23">
595 <property name="width_request">15</property>
596 <property name="height_request">40</property>
597 <property name="visible">True</property>
598 <property name="label" translatable="yes">4</property>
599 <property name="use_underline">False</property>
600 <property name="use_markup">False</property>
601 <property name="justify">GTK_JUSTIFY_LEFT</property>
602 <property name="wrap">False</property>
603 <property name="selectable">False</property>
604 <property name="xalign">0.5</property>
605 <property name="yalign">0.5</property>
606 <property name="xpad">0</property>
607 <property name="ypad">0</property>
608 </widget>
609 <packing>
610 <property name="padding">0</property>
611 <property name="expand">False</property>
612 <property name="fill">False</property>
613 </packing>
614 </child>
616 <child>
617 <widget class="GtkLabel" id="label22">
618 <property name="width_request">15</property>
619 <property name="height_request">40</property>
620 <property name="visible">True</property>
621 <property name="label" translatable="yes">3</property>
622 <property name="use_underline">False</property>
623 <property name="use_markup">False</property>
624 <property name="justify">GTK_JUSTIFY_LEFT</property>
625 <property name="wrap">False</property>
626 <property name="selectable">False</property>
627 <property name="xalign">0.5</property>
628 <property name="yalign">0.5</property>
629 <property name="xpad">0</property>
630 <property name="ypad">0</property>
631 </widget>
632 <packing>
633 <property name="padding">0</property>
634 <property name="expand">False</property>
635 <property name="fill">False</property>
636 </packing>
637 </child>
639 <child>
640 <widget class="GtkLabel" id="label21">
641 <property name="width_request">15</property>
642 <property name="height_request">40</property>
643 <property name="visible">True</property>
644 <property name="label" translatable="yes">2</property>
645 <property name="use_underline">False</property>
646 <property name="use_markup">False</property>
647 <property name="justify">GTK_JUSTIFY_LEFT</property>
648 <property name="wrap">False</property>
649 <property name="selectable">False</property>
650 <property name="xalign">0.5</property>
651 <property name="yalign">0.5</property>
652 <property name="xpad">0</property>
653 <property name="ypad">0</property>
654 </widget>
655 <packing>
656 <property name="padding">0</property>
657 <property name="expand">False</property>
658 <property name="fill">False</property>
659 </packing>
660 </child>
662 <child>
663 <widget class="GtkLabel" id="label20">
664 <property name="width_request">15</property>
665 <property name="height_request">40</property>
666 <property name="visible">True</property>
667 <property name="label" translatable="yes">1</property>
668 <property name="use_underline">False</property>
669 <property name="use_markup">False</property>
670 <property name="justify">GTK_JUSTIFY_LEFT</property>
671 <property name="wrap">False</property>
672 <property name="selectable">False</property>
673 <property name="xalign">0.5</property>
674 <property name="yalign">0.5</property>
675 <property name="xpad">0</property>
676 <property name="ypad">0</property>
677 </widget>
678 <packing>
679 <property name="padding">0</property>
680 <property name="expand">False</property>
681 <property name="fill">False</property>
682 </packing>
683 </child>
684 </widget>
685 <packing>
686 <property name="left_attach">0</property>
687 <property name="right_attach">1</property>
688 <property name="top_attach">1</property>
689 <property name="bottom_attach">2</property>
690 </packing>
691 </child>
693 <child>
694 <widget class="GtkVBox" id="vbox8">
695 <property name="visible">True</property>
696 <property name="homogeneous">False</property>
697 <property name="spacing">0</property>
699 <child>
700 <widget class="GtkLabel" id="label40">
701 <property name="width_request">15</property>
702 <property name="height_request">40</property>
703 <property name="visible">True</property>
704 <property name="label" translatable="yes">10</property>
705 <property name="use_underline">False</property>
706 <property name="use_markup">False</property>
707 <property name="justify">GTK_JUSTIFY_LEFT</property>
708 <property name="wrap">False</property>
709 <property name="selectable">False</property>
710 <property name="xalign">0.5</property>
711 <property name="yalign">0.5</property>
712 <property name="xpad">0</property>
713 <property name="ypad">0</property>
714 </widget>
715 <packing>
716 <property name="padding">0</property>
717 <property name="expand">False</property>
718 <property name="fill">False</property>
719 </packing>
720 </child>
722 <child>
723 <widget class="GtkLabel" id="label41">
724 <property name="width_request">15</property>
725 <property name="height_request">40</property>
726 <property name="visible">True</property>
727 <property name="label" translatable="yes">9</property>
728 <property name="use_underline">False</property>
729 <property name="use_markup">False</property>
730 <property name="justify">GTK_JUSTIFY_LEFT</property>
731 <property name="wrap">False</property>
732 <property name="selectable">False</property>
733 <property name="xalign">0.5</property>
734 <property name="yalign">0.5</property>
735 <property name="xpad">0</property>
736 <property name="ypad">0</property>
737 </widget>
738 <packing>
739 <property name="padding">0</property>
740 <property name="expand">False</property>
741 <property name="fill">False</property>
742 </packing>
743 </child>
745 <child>
746 <widget class="GtkLabel" id="label42">
747 <property name="width_request">15</property>
748 <property name="height_request">40</property>
749 <property name="visible">True</property>
750 <property name="label" translatable="yes">8</property>
751 <property name="use_underline">False</property>
752 <property name="use_markup">False</property>
753 <property name="justify">GTK_JUSTIFY_LEFT</property>
754 <property name="wrap">False</property>
755 <property name="selectable">False</property>
756 <property name="xalign">0.5</property>
757 <property name="yalign">0.5</property>
758 <property name="xpad">0</property>
759 <property name="ypad">0</property>
760 </widget>
761 <packing>
762 <property name="padding">0</property>
763 <property name="expand">False</property>
764 <property name="fill">False</property>
765 </packing>
766 </child>
768 <child>
769 <widget class="GtkLabel" id="label43">
770 <property name="width_request">15</property>
771 <property name="height_request">40</property>
772 <property name="visible">True</property>
773 <property name="label" translatable="yes">7</property>
774 <property name="use_underline">False</property>
775 <property name="use_markup">False</property>
776 <property name="justify">GTK_JUSTIFY_LEFT</property>
777 <property name="wrap">False</property>
778 <property name="selectable">False</property>
779 <property name="xalign">0.5</property>
780 <property name="yalign">0.5</property>
781 <property name="xpad">0</property>
782 <property name="ypad">0</property>
783 </widget>
784 <packing>
785 <property name="padding">0</property>
786 <property name="expand">False</property>
787 <property name="fill">False</property>
788 </packing>
789 </child>
791 <child>
792 <widget class="GtkLabel" id="label44">
793 <property name="width_request">15</property>
794 <property name="height_request">40</property>
795 <property name="visible">True</property>
796 <property name="label" translatable="yes">6</property>
797 <property name="use_underline">False</property>
798 <property name="use_markup">False</property>
799 <property name="justify">GTK_JUSTIFY_LEFT</property>
800 <property name="wrap">False</property>
801 <property name="selectable">False</property>
802 <property name="xalign">0.5</property>
803 <property name="yalign">0.5</property>
804 <property name="xpad">0</property>
805 <property name="ypad">0</property>
806 </widget>
807 <packing>
808 <property name="padding">0</property>
809 <property name="expand">False</property>
810 <property name="fill">False</property>
811 </packing>
812 </child>
814 <child>
815 <widget class="GtkLabel" id="label45">
816 <property name="width_request">15</property>
817 <property name="height_request">40</property>
818 <property name="visible">True</property>
819 <property name="label" translatable="yes">5</property>
820 <property name="use_underline">False</property>
821 <property name="use_markup">False</property>
822 <property name="justify">GTK_JUSTIFY_LEFT</property>
823 <property name="wrap">False</property>
824 <property name="selectable">False</property>
825 <property name="xalign">0.5</property>
826 <property name="yalign">0.5</property>
827 <property name="xpad">0</property>
828 <property name="ypad">0</property>
829 </widget>
830 <packing>
831 <property name="padding">0</property>
832 <property name="expand">False</property>
833 <property name="fill">False</property>
834 </packing>
835 </child>
837 <child>
838 <widget class="GtkLabel" id="label46">
839 <property name="width_request">15</property>
840 <property name="height_request">40</property>
841 <property name="visible">True</property>
842 <property name="label" translatable="yes">4</property>
843 <property name="use_underline">False</property>
844 <property name="use_markup">False</property>
845 <property name="justify">GTK_JUSTIFY_LEFT</property>
846 <property name="wrap">False</property>
847 <property name="selectable">False</property>
848 <property name="xalign">0.5</property>
849 <property name="yalign">0.5</property>
850 <property name="xpad">0</property>
851 <property name="ypad">0</property>
852 </widget>
853 <packing>
854 <property name="padding">0</property>
855 <property name="expand">False</property>
856 <property name="fill">False</property>
857 </packing>
858 </child>
860 <child>
861 <widget class="GtkLabel" id="label47">
862 <property name="width_request">15</property>
863 <property name="height_request">40</property>
864 <property name="visible">True</property>
865 <property name="label" translatable="yes">3</property>
866 <property name="use_underline">False</property>
867 <property name="use_markup">False</property>
868 <property name="justify">GTK_JUSTIFY_LEFT</property>
869 <property name="wrap">False</property>
870 <property name="selectable">False</property>
871 <property name="xalign">0.5</property>
872 <property name="yalign">0.5</property>
873 <property name="xpad">0</property>
874 <property name="ypad">0</property>
875 </widget>
876 <packing>
877 <property name="padding">0</property>
878 <property name="expand">False</property>
879 <property name="fill">False</property>
880 </packing>
881 </child>
883 <child>
884 <widget class="GtkLabel" id="label48">
885 <property name="width_request">15</property>
886 <property name="height_request">40</property>
887 <property name="visible">True</property>
888 <property name="label" translatable="yes">2</property>
889 <property name="use_underline">False</property>
890 <property name="use_markup">False</property>
891 <property name="justify">GTK_JUSTIFY_LEFT</property>
892 <property name="wrap">False</property>
893 <property name="selectable">False</property>
894 <property name="xalign">0.5</property>
895 <property name="yalign">0.5</property>
896 <property name="xpad">0</property>
897 <property name="ypad">0</property>
898 </widget>
899 <packing>
900 <property name="padding">0</property>
901 <property name="expand">False</property>
902 <property name="fill">False</property>
903 </packing>
904 </child>
906 <child>
907 <widget class="GtkLabel" id="label49">
908 <property name="width_request">15</property>
909 <property name="height_request">40</property>
910 <property name="visible">True</property>
911 <property name="label" translatable="yes">1</property>
912 <property name="use_underline">False</property>
913 <property name="use_markup">False</property>
914 <property name="justify">GTK_JUSTIFY_LEFT</property>
915 <property name="wrap">False</property>
916 <property name="selectable">False</property>
917 <property name="xalign">0.5</property>
918 <property name="yalign">0.5</property>
919 <property name="xpad">0</property>
920 <property name="ypad">0</property>
921 </widget>
922 <packing>
923 <property name="padding">0</property>
924 <property name="expand">False</property>
925 <property name="fill">False</property>
926 </packing>
927 </child>
928 </widget>
929 <packing>
930 <property name="left_attach">2</property>
931 <property name="right_attach">3</property>
932 <property name="top_attach">1</property>
933 <property name="bottom_attach">2</property>
934 <property name="y_options">fill</property>
935 </packing>
936 </child>
938 <child>
939 <widget class="GtkHBox" id="hbox10">
940 <property name="visible">True</property>
941 <property name="homogeneous">False</property>
942 <property name="spacing">0</property>
944 <child>
945 <widget class="GtkLabel" id="label10">
946 <property name="width_request">40</property>
947 <property name="height_request">15</property>
948 <property name="visible">True</property>
949 <property name="label" translatable="yes">a</property>
950 <property name="use_underline">False</property>
951 <property name="use_markup">False</property>
952 <property name="justify">GTK_JUSTIFY_LEFT</property>
953 <property name="wrap">False</property>
954 <property name="selectable">False</property>
955 <property name="xalign">0.5</property>
956 <property name="yalign">0.5</property>
957 <property name="xpad">0</property>
958 <property name="ypad">0</property>
959 </widget>
960 <packing>
961 <property name="padding">0</property>
962 <property name="expand">False</property>
963 <property name="fill">False</property>
964 </packing>
965 </child>
967 <child>
968 <widget class="GtkLabel" id="label11">
969 <property name="width_request">40</property>
970 <property name="height_request">15</property>
971 <property name="visible">True</property>
972 <property name="label" translatable="yes">b</property>
973 <property name="use_underline">False</property>
974 <property name="use_markup">False</property>
975 <property name="justify">GTK_JUSTIFY_LEFT</property>
976 <property name="wrap">False</property>
977 <property name="selectable">False</property>
978 <property name="xalign">0.5</property>
979 <property name="yalign">0.5</property>
980 <property name="xpad">0</property>
981 <property name="ypad">0</property>
982 </widget>
983 <packing>
984 <property name="padding">0</property>
985 <property name="expand">False</property>
986 <property name="fill">False</property>
987 </packing>
988 </child>
990 <child>
991 <widget class="GtkLabel" id="label12">
992 <property name="width_request">40</property>
993 <property name="height_request">15</property>
994 <property name="visible">True</property>
995 <property name="label" translatable="yes">c</property>
996 <property name="use_underline">False</property>
997 <property name="use_markup">False</property>
998 <property name="justify">GTK_JUSTIFY_LEFT</property>
999 <property name="wrap">False</property>
1000 <property name="selectable">False</property>
1001 <property name="xalign">0.5</property>
1002 <property name="yalign">0.5</property>
1003 <property name="xpad">0</property>
1004 <property name="ypad">0</property>
1005 </widget>
1006 <packing>
1007 <property name="padding">0</property>
1008 <property name="expand">False</property>
1009 <property name="fill">False</property>
1010 </packing>
1011 </child>
1013 <child>
1014 <widget class="GtkLabel" id="label13">
1015 <property name="width_request">40</property>
1016 <property name="height_request">15</property>
1017 <property name="visible">True</property>
1018 <property name="label" translatable="yes">d</property>
1019 <property name="use_underline">False</property>
1020 <property name="use_markup">False</property>
1021 <property name="justify">GTK_JUSTIFY_LEFT</property>
1022 <property name="wrap">False</property>
1023 <property name="selectable">False</property>
1024 <property name="xalign">0.5</property>
1025 <property name="yalign">0.5</property>
1026 <property name="xpad">0</property>
1027 <property name="ypad">0</property>
1028 </widget>
1029 <packing>
1030 <property name="padding">0</property>
1031 <property name="expand">False</property>
1032 <property name="fill">False</property>
1033 </packing>
1034 </child>
1036 <child>
1037 <widget class="GtkLabel" id="label14">
1038 <property name="width_request">40</property>
1039 <property name="height_request">15</property>
1040 <property name="visible">True</property>
1041 <property name="label" translatable="yes">e</property>
1042 <property name="use_underline">False</property>
1043 <property name="use_markup">False</property>
1044 <property name="justify">GTK_JUSTIFY_LEFT</property>
1045 <property name="wrap">False</property>
1046 <property name="selectable">False</property>
1047 <property name="xalign">0.5</property>
1048 <property name="yalign">0.5</property>
1049 <property name="xpad">0</property>
1050 <property name="ypad">0</property>
1051 </widget>
1052 <packing>
1053 <property name="padding">0</property>
1054 <property name="expand">False</property>
1055 <property name="fill">False</property>
1056 </packing>
1057 </child>
1059 <child>
1060 <widget class="GtkLabel" id="label15">
1061 <property name="width_request">40</property>
1062 <property name="height_request">15</property>
1063 <property name="visible">True</property>
1064 <property name="label" translatable="yes">f</property>
1065 <property name="use_underline">False</property>
1066 <property name="use_markup">False</property>
1067 <property name="justify">GTK_JUSTIFY_LEFT</property>
1068 <property name="wrap">False</property>
1069 <property name="selectable">False</property>
1070 <property name="xalign">0.5</property>
1071 <property name="yalign">0.5</property>
1072 <property name="xpad">0</property>
1073 <property name="ypad">0</property>
1074 </widget>
1075 <packing>
1076 <property name="padding">0</property>
1077 <property name="expand">False</property>
1078 <property name="fill">False</property>
1079 </packing>
1080 </child>
1082 <child>
1083 <widget class="GtkLabel" id="label16">
1084 <property name="width_request">40</property>
1085 <property name="height_request">15</property>
1086 <property name="visible">True</property>
1087 <property name="label" translatable="yes">g</property>
1088 <property name="use_underline">False</property>
1089 <property name="use_markup">False</property>
1090 <property name="justify">GTK_JUSTIFY_LEFT</property>
1091 <property name="wrap">False</property>
1092 <property name="selectable">False</property>
1093 <property name="xalign">0.5</property>
1094 <property name="yalign">0.5</property>
1095 <property name="xpad">0</property>
1096 <property name="ypad">0</property>
1097 </widget>
1098 <packing>
1099 <property name="padding">0</property>
1100 <property name="expand">False</property>
1101 <property name="fill">False</property>
1102 </packing>
1103 </child>
1105 <child>
1106 <widget class="GtkLabel" id="label17">
1107 <property name="width_request">40</property>
1108 <property name="height_request">15</property>
1109 <property name="visible">True</property>
1110 <property name="label" translatable="yes">h</property>
1111 <property name="use_underline">False</property>
1112 <property name="use_markup">False</property>
1113 <property name="justify">GTK_JUSTIFY_LEFT</property>
1114 <property name="wrap">False</property>
1115 <property name="selectable">False</property>
1116 <property name="xalign">0.5</property>
1117 <property name="yalign">0.5</property>
1118 <property name="xpad">0</property>
1119 <property name="ypad">0</property>
1120 </widget>
1121 <packing>
1122 <property name="padding">0</property>
1123 <property name="expand">False</property>
1124 <property name="fill">False</property>
1125 </packing>
1126 </child>
1128 <child>
1129 <widget class="GtkLabel" id="label18">
1130 <property name="width_request">40</property>
1131 <property name="height_request">15</property>
1132 <property name="visible">True</property>
1133 <property name="label" translatable="yes">i</property>
1134 <property name="use_underline">False</property>
1135 <property name="use_markup">False</property>
1136 <property name="justify">GTK_JUSTIFY_LEFT</property>
1137 <property name="wrap">False</property>
1138 <property name="selectable">False</property>
1139 <property name="xalign">0.5</property>
1140 <property name="yalign">0.5</property>
1141 <property name="xpad">0</property>
1142 <property name="ypad">0</property>
1143 </widget>
1144 <packing>
1145 <property name="padding">0</property>
1146 <property name="expand">False</property>
1147 <property name="fill">False</property>
1148 </packing>
1149 </child>
1151 <child>
1152 <widget class="GtkLabel" id="label19">
1153 <property name="width_request">40</property>
1154 <property name="height_request">15</property>
1155 <property name="visible">True</property>
1156 <property name="label" translatable="yes">j</property>
1157 <property name="use_underline">False</property>
1158 <property name="use_markup">False</property>
1159 <property name="justify">GTK_JUSTIFY_LEFT</property>
1160 <property name="wrap">False</property>
1161 <property name="selectable">False</property>
1162 <property name="xalign">0.5</property>
1163 <property name="yalign">0.5</property>
1164 <property name="xpad">0</property>
1165 <property name="ypad">0</property>
1166 </widget>
1167 <packing>
1168 <property name="padding">0</property>
1169 <property name="expand">False</property>
1170 <property name="fill">False</property>
1171 </packing>
1172 </child>
1173 </widget>
1174 <packing>
1175 <property name="left_attach">1</property>
1176 <property name="right_attach">2</property>
1177 <property name="top_attach">2</property>
1178 <property name="bottom_attach">3</property>
1179 <property name="x_options">fill</property>
1180 </packing>
1181 </child>
1183 <child>
1184 <widget class="GtkScrolledWindow" id="scrolledwindow4">
1185 <property name="visible">True</property>
1186 <property name="can_focus">True</property>
1187 <property name="hscrollbar_policy">GTK_POLICY_NEVER</property>
1188 <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
1189 <property name="shadow_type">GTK_SHADOW_NONE</property>
1190 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1192 <child>
1193 <widget class="GnomeCanvas" id="CNVS_GAMEBOARD">
1194 <property name="width_request">400</property>
1195 <property name="height_request">400</property>
1196 <property name="visible">True</property>
1197 <property name="can_focus">True</property>
1198 <property name="anti_aliased">False</property>
1199 <property name="scroll_x1">0</property>
1200 <property name="scroll_y1">0</property>
1201 <property name="scroll_x2">100</property>
1202 <property name="scroll_y2">100</property>
1203 <property name="pixels_per_unit">1</property>
1204 <accessibility>
1205 <atkproperty name="AtkObject::accessible_name" translatable="yes">CNVS_GAMEBOARD</atkproperty>
1206 </accessibility>
1207 </widget>
1208 </child>
1209 </widget>
1210 <packing>
1211 <property name="left_attach">1</property>
1212 <property name="right_attach">2</property>
1213 <property name="top_attach">1</property>
1214 <property name="bottom_attach">2</property>
1215 <property name="x_options">fill</property>
1216 <property name="y_options">fill</property>
1217 </packing>
1218 </child>
1219 </widget>
1220 </child>
1221 </widget>
1222 </child>
1223 </widget>
1224 <packing>
1225 <property name="padding">0</property>
1226 <property name="expand">True</property>
1227 <property name="fill">True</property>
1228 </packing>
1229 </child>
1231 <child>
1232 <widget class="GtkVBox" id="vbox2">
1233 <property name="visible">True</property>
1234 <property name="homogeneous">False</property>
1235 <property name="spacing">0</property>
1237 <child>
1238 <widget class="GtkVBox" id="vbox3">
1239 <property name="visible">True</property>
1240 <property name="homogeneous">False</property>
1241 <property name="spacing">0</property>
1243 <child>
1244 <widget class="GtkVBox" id="vbox4">
1245 <property name="visible">True</property>
1246 <property name="homogeneous">False</property>
1247 <property name="spacing">0</property>
1249 <child>
1250 <widget class="GtkLabel" id="label1">
1251 <property name="width_request">0</property>
1252 <property name="height_request">40</property>
1253 <property name="visible">True</property>
1254 <property name="label" translatable="yes">Move History:</property>
1255 <property name="use_underline">False</property>
1256 <property name="use_markup">False</property>
1257 <property name="justify">GTK_JUSTIFY_RIGHT</property>
1258 <property name="wrap">False</property>
1259 <property name="selectable">False</property>
1260 <property name="xalign">0.55</property>
1261 <property name="yalign">0.72</property>
1262 <property name="xpad">0</property>
1263 <property name="ypad">0</property>
1264 </widget>
1265 <packing>
1266 <property name="padding">0</property>
1267 <property name="expand">False</property>
1268 <property name="fill">False</property>
1269 </packing>
1270 </child>
1272 <child>
1273 <widget class="GtkScrolledWindow" id="scrolledwindow3">
1274 <property name="visible">True</property>
1275 <property name="can_focus">True</property>
1276 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1277 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1278 <property name="shadow_type">GTK_SHADOW_NONE</property>
1279 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1281 <child>
1282 <widget class="GtkViewport" id="viewport3">
1283 <property name="visible">True</property>
1284 <property name="shadow_type">GTK_SHADOW_NONE</property>
1286 <child>
1287 <widget class="GtkHBox" id="hbox11">
1288 <property name="visible">True</property>
1289 <property name="homogeneous">False</property>
1290 <property name="spacing">0</property>
1292 <child>
1293 <widget class="GtkScrolledWindow" id="scrolledwindow5">
1294 <property name="visible">True</property>
1295 <property name="can_focus">True</property>
1296 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1297 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1298 <property name="shadow_type">GTK_SHADOW_NONE</property>
1299 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1301 <child>
1302 <widget class="GtkViewport" id="viewport4">
1303 <property name="height_request">17</property>
1304 <property name="visible">True</property>
1305 <property name="shadow_type">GTK_SHADOW_NONE</property>
1307 <child>
1308 <widget class="GtkVBox" id="vbox9">
1309 <property name="visible">True</property>
1310 <property name="homogeneous">False</property>
1311 <property name="spacing">0</property>
1313 <child>
1314 <widget class="GtkVButtonBox" id="vbuttonbox1">
1315 <property name="height_request">105</property>
1316 <property name="visible">True</property>
1317 <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
1318 <property name="spacing">0</property>
1320 <child>
1321 <widget class="GtkButton" id="BT_UNDO">
1322 <property name="height_request">30</property>
1323 <property name="visible">True</property>
1324 <property name="can_default">True</property>
1325 <property name="can_focus">True</property>
1326 <property name="label" translatable="yes">Undo</property>
1327 <property name="use_underline">True</property>
1328 <property name="relief">GTK_RELIEF_NORMAL</property>
1329 <signal name="clicked" handler="on_BT_UNDO_clicked" last_modification_time="Wed, 06 Nov 2002 06:06:25 GMT"/>
1330 </widget>
1331 </child>
1333 <child>
1334 <widget class="GtkButton" id="BT_FORCEMOVE">
1335 <property name="width_request">106</property>
1336 <property name="height_request">30</property>
1337 <property name="visible">True</property>
1338 <property name="can_default">True</property>
1339 <property name="can_focus">True</property>
1340 <property name="label" translatable="yes">Force Move</property>
1341 <property name="use_underline">True</property>
1342 <property name="relief">GTK_RELIEF_NORMAL</property>
1343 <signal name="clicked" handler="on_BT_FORCEMOVE_clicked" last_modification_time="Wed, 06 Nov 2002 06:06:59 GMT"/>
1344 </widget>
1345 </child>
1347 <child>
1348 <widget class="GtkButton" id="BT_AUTOFINISH">
1349 <property name="height_request">30</property>
1350 <property name="visible">True</property>
1351 <property name="can_default">True</property>
1352 <property name="can_focus">True</property>
1353 <property name="label" translatable="yes">Autofinish</property>
1354 <property name="use_underline">True</property>
1355 <property name="relief">GTK_RELIEF_NORMAL</property>
1356 <signal name="clicked" handler="on_BT_AUTOFINISH_clicked" last_modification_time="Wed, 06 Nov 2002 06:07:11 GMT"/>
1357 </widget>
1358 </child>
1359 </widget>
1360 <packing>
1361 <property name="padding">0</property>
1362 <property name="expand">False</property>
1363 <property name="fill">True</property>
1364 </packing>
1365 </child>
1367 <child>
1368 <widget class="GtkHBox" id="hbox12">
1369 <property name="visible">True</property>
1370 <property name="homogeneous">False</property>
1371 <property name="spacing">0</property>
1373 <child>
1374 <widget class="GtkVBox" id="vbox12">
1375 <property name="visible">True</property>
1376 <property name="homogeneous">False</property>
1377 <property name="spacing">0</property>
1379 <child>
1380 <widget class="GtkHSeparator" id="hseparator2">
1381 <property name="visible">True</property>
1382 </widget>
1383 <packing>
1384 <property name="padding">7</property>
1385 <property name="expand">False</property>
1386 <property name="fill">False</property>
1387 </packing>
1388 </child>
1390 <child>
1391 <widget class="GtkVButtonBox" id="vbuttonbox2">
1392 <property name="visible">True</property>
1393 <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
1394 <property name="spacing">7</property>
1396 <child>
1397 <widget class="GtkButton" id="BT_REPLAY">
1398 <property name="width_request">107</property>
1399 <property name="visible">True</property>
1400 <property name="can_default">True</property>
1401 <property name="can_focus">True</property>
1402 <property name="label" translatable="yes">Replay</property>
1403 <property name="use_underline">True</property>
1404 <property name="relief">GTK_RELIEF_NORMAL</property>
1405 <signal name="clicked" handler="on_BT_REPLAY_clicked" last_modification_time="Tue, 19 Nov 2002 18:54:24 GMT"/>
1406 </widget>
1407 </child>
1409 <child>
1410 <widget class="GtkButton" id="BT_REPLAY_STOP">
1411 <property name="width_request">37</property>
1412 <property name="visible">True</property>
1413 <property name="can_default">True</property>
1414 <property name="can_focus">True</property>
1415 <property name="label" translatable="yes">Stop</property>
1416 <property name="use_underline">True</property>
1417 <property name="relief">GTK_RELIEF_NORMAL</property>
1418 <signal name="clicked" handler="on_BT_REPLAY_STOP_clicked" last_modification_time="Tue, 19 Nov 2002 18:54:39 GMT"/>
1419 </widget>
1420 </child>
1421 </widget>
1422 <packing>
1423 <property name="padding">0</property>
1424 <property name="expand">False</property>
1425 <property name="fill">False</property>
1426 </packing>
1427 </child>
1429 <child>
1430 <widget class="GtkLabel" id="label50">
1431 <property name="visible">True</property>
1432 <property name="label" translatable="yes">Replay Delay</property>
1433 <property name="use_underline">False</property>
1434 <property name="use_markup">False</property>
1435 <property name="justify">GTK_JUSTIFY_LEFT</property>
1436 <property name="wrap">False</property>
1437 <property name="selectable">False</property>
1438 <property name="xalign">0.5</property>
1439 <property name="yalign">0</property>
1440 <property name="xpad">0</property>
1441 <property name="ypad">4</property>
1442 </widget>
1443 <packing>
1444 <property name="padding">0</property>
1445 <property name="expand">False</property>
1446 <property name="fill">False</property>
1447 </packing>
1448 </child>
1450 <child>
1451 <widget class="GtkSpinButton" id="ReplayDelaySpinner">
1452 <property name="visible">True</property>
1453 <property name="can_focus">True</property>
1454 <property name="climb_rate">1</property>
1455 <property name="digits">0</property>
1456 <property name="numeric">False</property>
1457 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1458 <property name="snap_to_ticks">False</property>
1459 <property name="wrap">False</property>
1460 <property name="adjustment">1 1 100 1 10 10</property>
1461 </widget>
1462 <packing>
1463 <property name="padding">0</property>
1464 <property name="expand">False</property>
1465 <property name="fill">False</property>
1466 </packing>
1467 </child>
1469 <child>
1470 <widget class="GtkHSeparator" id="hseparator3">
1471 <property name="visible">True</property>
1472 </widget>
1473 <packing>
1474 <property name="padding">7</property>
1475 <property name="expand">False</property>
1476 <property name="fill">False</property>
1477 </packing>
1478 </child>
1480 <child>
1481 <widget class="GtkVBox" id="vbox13">
1482 <property name="visible">True</property>
1483 <property name="homogeneous">False</property>
1484 <property name="spacing">0</property>
1486 <child>
1487 <widget class="GtkLabel" id="label51">
1488 <property name="visible">True</property>
1489 <property name="label" translatable="yes">Movement Speed</property>
1490 <property name="use_underline">False</property>
1491 <property name="use_markup">False</property>
1492 <property name="justify">GTK_JUSTIFY_LEFT</property>
1493 <property name="wrap">False</property>
1494 <property name="selectable">False</property>
1495 <property name="xalign">0.5</property>
1496 <property name="yalign">0</property>
1497 <property name="xpad">0</property>
1498 <property name="ypad">4</property>
1499 </widget>
1500 <packing>
1501 <property name="padding">0</property>
1502 <property name="expand">False</property>
1503 <property name="fill">False</property>
1504 </packing>
1505 </child>
1507 <child>
1508 <widget class="GtkSpinButton" id="MovementSpeedSpinner">
1509 <property name="visible">True</property>
1510 <property name="can_focus">True</property>
1511 <property name="climb_rate">1</property>
1512 <property name="digits">0</property>
1513 <property name="numeric">False</property>
1514 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1515 <property name="snap_to_ticks">False</property>
1516 <property name="wrap">False</property>
1517 <property name="adjustment">1 1 10 1 10 10</property>
1518 </widget>
1519 <packing>
1520 <property name="padding">0</property>
1521 <property name="expand">False</property>
1522 <property name="fill">False</property>
1523 </packing>
1524 </child>
1526 <child>
1527 <placeholder/>
1528 </child>
1529 </widget>
1530 <packing>
1531 <property name="padding">0</property>
1532 <property name="expand">True</property>
1533 <property name="fill">True</property>
1534 </packing>
1535 </child>
1536 </widget>
1537 <packing>
1538 <property name="padding">0</property>
1539 <property name="expand">True</property>
1540 <property name="fill">True</property>
1541 </packing>
1542 </child>
1543 </widget>
1544 <packing>
1545 <property name="padding">0</property>
1546 <property name="expand">True</property>
1547 <property name="fill">True</property>
1548 </packing>
1549 </child>
1550 </widget>
1551 </child>
1552 </widget>
1553 </child>
1554 </widget>
1555 <packing>
1556 <property name="padding">0</property>
1557 <property name="expand">True</property>
1558 <property name="fill">True</property>
1559 </packing>
1560 </child>
1562 <child>
1563 <widget class="GtkScrolledWindow" id="scrolledwindow6">
1564 <property name="visible">True</property>
1565 <property name="can_focus">True</property>
1566 <property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1567 <property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
1568 <property name="shadow_type">GTK_SHADOW_NONE</property>
1569 <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
1571 <child>
1572 <widget class="GtkTextView" id="textview1">
1573 <property name="width_request">120</property>
1574 <property name="visible">True</property>
1575 <property name="can_focus">True</property>
1576 <property name="editable">False</property>
1577 <property name="justification">GTK_JUSTIFY_LEFT</property>
1578 <property name="wrap_mode">GTK_WRAP_NONE</property>
1579 <property name="cursor_visible">False</property>
1580 <property name="pixels_above_lines">0</property>
1581 <property name="pixels_below_lines">0</property>
1582 <property name="pixels_inside_wrap">0</property>
1583 <property name="left_margin">0</property>
1584 <property name="right_margin">0</property>
1585 <property name="indent">0</property>
1586 <property name="text" translatable="yes"></property>
1587 </widget>
1588 </child>
1589 </widget>
1590 <packing>
1591 <property name="padding">0</property>
1592 <property name="expand">True</property>
1593 <property name="fill">True</property>
1594 </packing>
1595 </child>
1596 </widget>
1597 </child>
1598 </widget>
1599 </child>
1600 </widget>
1601 <packing>
1602 <property name="padding">0</property>
1603 <property name="expand">True</property>
1604 <property name="fill">True</property>
1605 </packing>
1606 </child>
1607 </widget>
1608 <packing>
1609 <property name="padding">0</property>
1610 <property name="expand">True</property>
1611 <property name="fill">True</property>
1612 </packing>
1613 </child>
1614 </widget>
1615 <packing>
1616 <property name="padding">0</property>
1617 <property name="expand">True</property>
1618 <property name="fill">True</property>
1619 </packing>
1620 </child>
1621 </widget>
1622 <packing>
1623 <property name="padding">0</property>
1624 <property name="expand">True</property>
1625 <property name="fill">True</property>
1626 </packing>
1627 </child>
1628 </widget>
1629 </child>
1630 </widget>
1631 </child>
1632 </widget>
1633 <packing>
1634 <property name="padding">0</property>
1635 <property name="expand">True</property>
1636 <property name="fill">True</property>
1637 </packing>
1638 </child>
1640 <child>
1641 <widget class="GtkStatusbar" id="statusbar1">
1642 <property name="visible">True</property>
1643 <property name="has_resize_grip">True</property>
1644 </widget>
1645 <packing>
1646 <property name="padding">0</property>
1647 <property name="expand">False</property>
1648 <property name="fill">False</property>
1649 </packing>
1650 </child>
1651 </widget>
1652 </child>
1653 </widget>
1655 <widget class="GtkWindow" id="PlayerSettings">
1656 <property name="width_request">370</property>
1657 <property name="height_request">185</property>
1658 <property name="visible">True</property>
1659 <property name="title" translatable="yes">Player Settings</property>
1660 <property name="type">GTK_WINDOW_TOPLEVEL</property>
1661 <property name="window_position">GTK_WIN_POS_NONE</property>
1662 <property name="modal">False</property>
1663 <property name="default_width">300</property>
1664 <property name="default_height">185</property>
1665 <property name="resizable">False</property>
1666 <property name="destroy_with_parent">False</property>
1668 <child>
1669 <widget class="GtkVBox" id="vbox5">
1670 <property name="height_request">70</property>
1671 <property name="visible">True</property>
1672 <property name="homogeneous">False</property>
1673 <property name="spacing">0</property>
1675 <child>
1676 <widget class="GtkHBox" id="hbox3">
1677 <property name="height_request">2</property>
1678 <property name="visible">True</property>
1679 <property name="homogeneous">False</property>
1680 <property name="spacing">0</property>
1682 <child>
1683 <widget class="GtkLabel" id="WhitePlayerLabel">
1684 <property name="width_request">100</property>
1685 <property name="visible">True</property>
1686 <property name="label" translatable="yes">White Player:</property>
1687 <property name="use_underline">False</property>
1688 <property name="use_markup">False</property>
1689 <property name="justify">GTK_JUSTIFY_LEFT</property>
1690 <property name="wrap">False</property>
1691 <property name="selectable">False</property>
1692 <property name="xalign">0.3</property>
1693 <property name="yalign">0.5</property>
1694 <property name="xpad">0</property>
1695 <property name="ypad">0</property>
1696 </widget>
1697 <packing>
1698 <property name="padding">0</property>
1699 <property name="expand">False</property>
1700 <property name="fill">False</property>
1701 </packing>
1702 </child>
1704 <child>
1705 <widget class="GtkRadioButton" id="WhiteHumanRadio">
1706 <property name="width_request">85</property>
1707 <property name="visible">True</property>
1708 <property name="can_focus">True</property>
1709 <property name="label" translatable="yes">Human</property>
1710 <property name="use_underline">True</property>
1711 <property name="relief">GTK_RELIEF_NORMAL</property>
1712 <property name="active">False</property>
1713 <property name="inconsistent">False</property>
1714 <property name="draw_indicator">True</property>
1715 </widget>
1716 <packing>
1717 <property name="padding">0</property>
1718 <property name="expand">False</property>
1719 <property name="fill">False</property>
1720 </packing>
1721 </child>
1723 <child>
1724 <widget class="GtkRadioButton" id="WhiteAIRadio">
1725 <property name="visible">True</property>
1726 <property name="can_focus">True</property>
1727 <property name="label" translatable="yes">AI</property>
1728 <property name="use_underline">True</property>
1729 <property name="relief">GTK_RELIEF_NORMAL</property>
1730 <property name="active">False</property>
1731 <property name="inconsistent">False</property>
1732 <property name="draw_indicator">True</property>
1733 <property name="group">WhiteHumanRadio</property>
1734 </widget>
1735 <packing>
1736 <property name="padding">0</property>
1737 <property name="expand">False</property>
1738 <property name="fill">False</property>
1739 </packing>
1740 </child>
1741 </widget>
1742 <packing>
1743 <property name="padding">0</property>
1744 <property name="expand">True</property>
1745 <property name="fill">True</property>
1746 </packing>
1747 </child>
1749 <child>
1750 <widget class="GtkHBox" id="hbox4">
1751 <property name="height_request">2</property>
1752 <property name="visible">True</property>
1753 <property name="homogeneous">False</property>
1754 <property name="spacing">0</property>
1756 <child>
1757 <widget class="GtkLabel" id="BlackPlayerLabel">
1758 <property name="width_request">100</property>
1759 <property name="visible">True</property>
1760 <property name="label" translatable="yes">Black Player: </property>
1761 <property name="use_underline">False</property>
1762 <property name="use_markup">False</property>
1763 <property name="justify">GTK_JUSTIFY_LEFT</property>
1764 <property name="wrap">False</property>
1765 <property name="selectable">False</property>
1766 <property name="xalign">0.5</property>
1767 <property name="yalign">0.5</property>
1768 <property name="xpad">0</property>
1769 <property name="ypad">0</property>
1770 </widget>
1771 <packing>
1772 <property name="padding">0</property>
1773 <property name="expand">False</property>
1774 <property name="fill">False</property>
1775 </packing>
1776 </child>
1778 <child>
1779 <widget class="GtkRadioButton" id="BlackHumanRadio">
1780 <property name="width_request">85</property>
1781 <property name="visible">True</property>
1782 <property name="can_focus">True</property>
1783 <property name="label" translatable="yes">Human</property>
1784 <property name="use_underline">True</property>
1785 <property name="relief">GTK_RELIEF_NORMAL</property>
1786 <property name="active">False</property>
1787 <property name="inconsistent">False</property>
1788 <property name="draw_indicator">True</property>
1789 </widget>
1790 <packing>
1791 <property name="padding">0</property>
1792 <property name="expand">False</property>
1793 <property name="fill">False</property>
1794 </packing>
1795 </child>
1797 <child>
1798 <widget class="GtkRadioButton" id="BlackAIRadio">
1799 <property name="visible">True</property>
1800 <property name="can_focus">True</property>
1801 <property name="label" translatable="yes">AI</property>
1802 <property name="use_underline">True</property>
1803 <property name="relief">GTK_RELIEF_NORMAL</property>
1804 <property name="active">False</property>
1805 <property name="inconsistent">False</property>
1806 <property name="draw_indicator">True</property>
1807 <property name="group">BlackHumanRadio</property>
1808 </widget>
1809 <packing>
1810 <property name="padding">0</property>
1811 <property name="expand">False</property>
1812 <property name="fill">False</property>
1813 </packing>
1814 </child>
1815 </widget>
1816 <packing>
1817 <property name="padding">0</property>
1818 <property name="expand">True</property>
1819 <property name="fill">True</property>
1820 </packing>
1821 </child>
1823 <child>
1824 <widget class="GtkHSeparator" id="hseparator1">
1825 <property name="height_request">1</property>
1826 <property name="visible">True</property>
1827 </widget>
1828 <packing>
1829 <property name="padding">0</property>
1830 <property name="expand">True</property>
1831 <property name="fill">True</property>
1832 </packing>
1833 </child>
1835 <child>
1836 <widget class="GtkLabel" id="AISettings">
1837 <property name="height_request">15</property>
1838 <property name="visible">True</property>
1839 <property name="label" translatable="yes">AI Settings:</property>
1840 <property name="use_underline">False</property>
1841 <property name="use_markup">False</property>
1842 <property name="justify">GTK_JUSTIFY_LEFT</property>
1843 <property name="wrap">False</property>
1844 <property name="selectable">False</property>
1845 <property name="xalign">0.5</property>
1846 <property name="yalign">0.5</property>
1847 <property name="xpad">0</property>
1848 <property name="ypad">0</property>
1849 </widget>
1850 <packing>
1851 <property name="padding">0</property>
1852 <property name="expand">False</property>
1853 <property name="fill">False</property>
1854 </packing>
1855 </child>
1857 <child>
1858 <widget class="GtkHBox" id="hbox5">
1859 <property name="visible">True</property>
1860 <property name="homogeneous">False</property>
1861 <property name="spacing">0</property>
1863 <child>
1864 <widget class="GtkVBox" id="vbox6">
1865 <property name="height_request">28</property>
1866 <property name="visible">True</property>
1867 <property name="homogeneous">False</property>
1868 <property name="spacing">0</property>
1870 <child>
1871 <widget class="GtkHBox" id="hbox6">
1872 <property name="visible">True</property>
1873 <property name="homogeneous">False</property>
1874 <property name="spacing">0</property>
1876 <child>
1877 <widget class="GtkLabel" id="TimeLabel">
1878 <property name="width_request">121</property>
1879 <property name="visible">True</property>
1880 <property name="label" translatable="yes">Search Time: </property>
1881 <property name="use_underline">False</property>
1882 <property name="use_markup">False</property>
1883 <property name="justify">GTK_JUSTIFY_LEFT</property>
1884 <property name="wrap">False</property>
1885 <property name="selectable">False</property>
1886 <property name="xalign">0.5</property>
1887 <property name="yalign">0.5</property>
1888 <property name="xpad">0</property>
1889 <property name="ypad">0</property>
1890 </widget>
1891 <packing>
1892 <property name="padding">0</property>
1893 <property name="expand">False</property>
1894 <property name="fill">False</property>
1895 </packing>
1896 </child>
1898 <child>
1899 <widget class="GtkLabel" id="SearchDepthLabel">
1900 <property name="width_request">127</property>
1901 <property name="visible">True</property>
1902 <property name="label" translatable="yes">Max Search Depth</property>
1903 <property name="use_underline">False</property>
1904 <property name="use_markup">False</property>
1905 <property name="justify">GTK_JUSTIFY_CENTER</property>
1906 <property name="wrap">False</property>
1907 <property name="selectable">False</property>
1908 <property name="xalign">0.5</property>
1909 <property name="yalign">0.5</property>
1910 <property name="xpad">0</property>
1911 <property name="ypad">0</property>
1912 </widget>
1913 <packing>
1914 <property name="padding">0</property>
1915 <property name="expand">False</property>
1916 <property name="fill">False</property>
1917 </packing>
1918 </child>
1920 <child>
1921 <widget class="GtkLabel" id="SearchWidthLabel">
1922 <property name="width_request">112</property>
1923 <property name="visible">True</property>
1924 <property name="label" translatable="yes">Max Search Width</property>
1925 <property name="use_underline">False</property>
1926 <property name="use_markup">False</property>
1927 <property name="justify">GTK_JUSTIFY_RIGHT</property>
1928 <property name="wrap">False</property>
1929 <property name="selectable">False</property>
1930 <property name="xalign">1</property>
1931 <property name="yalign">0.5</property>
1932 <property name="xpad">0</property>
1933 <property name="ypad">0</property>
1934 </widget>
1935 <packing>
1936 <property name="padding">0</property>
1937 <property name="expand">False</property>
1938 <property name="fill">False</property>
1939 </packing>
1940 </child>
1941 </widget>
1942 <packing>
1943 <property name="padding">0</property>
1944 <property name="expand">True</property>
1945 <property name="fill">True</property>
1946 </packing>
1947 </child>
1949 <child>
1950 <widget class="GtkHBox" id="hbox7">
1951 <property name="visible">True</property>
1952 <property name="homogeneous">False</property>
1953 <property name="spacing">0</property>
1955 <child>
1956 <widget class="GtkSpinButton" id="TimeSpinner">
1957 <property name="width_request">10</property>
1958 <property name="visible">True</property>
1959 <property name="can_focus">True</property>
1960 <property name="climb_rate">1</property>
1961 <property name="digits">0</property>
1962 <property name="numeric">False</property>
1963 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1964 <property name="snap_to_ticks">False</property>
1965 <property name="wrap">False</property>
1966 <property name="adjustment">5 1 100 1 10 10</property>
1967 </widget>
1968 <packing>
1969 <property name="padding">10</property>
1970 <property name="expand">True</property>
1971 <property name="fill">True</property>
1972 </packing>
1973 </child>
1975 <child>
1976 <widget class="GtkSpinButton" id="DepthSpinner">
1977 <property name="width_request">10</property>
1978 <property name="visible">True</property>
1979 <property name="can_focus">True</property>
1980 <property name="climb_rate">1</property>
1981 <property name="digits">0</property>
1982 <property name="numeric">False</property>
1983 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
1984 <property name="snap_to_ticks">False</property>
1985 <property name="wrap">False</property>
1986 <property name="adjustment">1 1 100 1 10 10</property>
1987 </widget>
1988 <packing>
1989 <property name="padding">10</property>
1990 <property name="expand">True</property>
1991 <property name="fill">True</property>
1992 </packing>
1993 </child>
1995 <child>
1996 <widget class="GtkSpinButton" id="WidthSpinner">
1997 <property name="width_request">10</property>
1998 <property name="visible">True</property>
1999 <property name="can_focus">True</property>
2000 <property name="climb_rate">1</property>
2001 <property name="digits">0</property>
2002 <property name="numeric">False</property>
2003 <property name="update_policy">GTK_UPDATE_ALWAYS</property>
2004 <property name="snap_to_ticks">False</property>
2005 <property name="wrap">False</property>
2006 <property name="adjustment">1 1 3000 1 10 10</property>
2007 </widget>
2008 <packing>
2009 <property name="padding">10</property>
2010 <property name="expand">True</property>
2011 <property name="fill">True</property>
2012 </packing>
2013 </child>
2014 </widget>
2015 <packing>
2016 <property name="padding">0</property>
2017 <property name="expand">True</property>
2018 <property name="fill">True</property>
2019 </packing>
2020 </child>
2021 </widget>
2022 <packing>
2023 <property name="padding">0</property>
2024 <property name="expand">True</property>
2025 <property name="fill">True</property>
2026 </packing>
2027 </child>
2028 </widget>
2029 <packing>
2030 <property name="padding">0</property>
2031 <property name="expand">True</property>
2032 <property name="fill">True</property>
2033 </packing>
2034 </child>
2036 <child>
2037 <widget class="GtkHButtonBox" id="hbuttonbox3">
2038 <property name="border_width">39</property>
2039 <property name="height_request">25</property>
2040 <property name="visible">True</property>
2041 <property name="layout_style">GTK_BUTTONBOX_DEFAULT_STYLE</property>
2042 <property name="spacing">0</property>
2044 <child>
2045 <widget class="GtkButton" id="PlayerOKButton">
2046 <property name="border_width">10</property>
2047 <property name="width_request">50</property>
2048 <property name="visible">True</property>
2049 <property name="can_default">True</property>
2050 <property name="can_focus">True</property>
2051 <property name="label">gtk-ok</property>
2052 <property name="use_stock">True</property>
2053 <property name="relief">GTK_RELIEF_NORMAL</property>
2054 <signal name="clicked" handler="on_PlayerOKButton_clicked" last_modification_time="Wed, 14 Aug 2002 18:13:37 GMT"/>
2055 </widget>
2056 </child>
2058 <child>
2059 <widget class="GtkButton" id="PlayerCancelButton">
2060 <property name="border_width">10</property>
2061 <property name="visible">True</property>
2062 <property name="can_default">True</property>
2063 <property name="can_focus">True</property>
2064 <property name="relief">GTK_RELIEF_NORMAL</property>
2065 <signal name="clicked" handler="on_PlayerCancelButton_clicked" last_modification_time="Thu, 15 Aug 2002 17:58:38 GMT"/>
2067 <child>
2068 <widget class="GtkAlignment" id="alignment1">
2069 <property name="visible">True</property>
2070 <property name="xalign">0.5</property>
2071 <property name="yalign">0.5</property>
2072 <property name="xscale">0</property>
2073 <property name="yscale">0</property>
2075 <child>
2076 <widget class="GtkHBox" id="hbox8">
2077 <property name="visible">True</property>
2078 <property name="homogeneous">False</property>
2079 <property name="spacing">2</property>
2081 <child>
2082 <widget class="GtkImage" id="image1">
2083 <property name="visible">True</property>
2084 <property name="stock">gtk-cancel</property>
2085 <property name="icon_size">4</property>
2086 <property name="xalign">0.5</property>
2087 <property name="yalign">0.5</property>
2088 <property name="xpad">0</property>
2089 <property name="ypad">0</property>
2090 </widget>
2091 <packing>
2092 <property name="padding">0</property>
2093 <property name="expand">False</property>
2094 <property name="fill">False</property>
2095 </packing>
2096 </child>
2098 <child>
2099 <widget class="GtkLabel" id="label9">
2100 <property name="visible">True</property>
2101 <property name="label" translatable="yes">Cancel</property>
2102 <property name="use_underline">True</property>
2103 <property name="use_markup">False</property>
2104 <property name="justify">GTK_JUSTIFY_LEFT</property>
2105 <property name="wrap">False</property>
2106 <property name="selectable">False</property>
2107 <property name="xalign">0.5</property>
2108 <property name="yalign">0.5</property>
2109 <property name="xpad">0</property>
2110 <property name="ypad">0</property>
2111 </widget>
2112 <packing>
2113 <property name="padding">0</property>
2114 <property name="expand">False</property>
2115 <property name="fill">False</property>
2116 </packing>
2117 </child>
2118 </widget>
2119 </child>
2120 </widget>
2121 </child>
2122 </widget>
2123 </child>
2124 </widget>
2125 <packing>
2126 <property name="padding">0</property>
2127 <property name="expand">True</property>
2128 <property name="fill">True</property>
2129 </packing>
2130 </child>
2131 </widget>
2132 </child>
2133 </widget>
2135 </glade-interface>