← Back to branch summary

~ubuntu-branches/ubuntu/precise/lordsawar/precise

« back to all changes in this revision

Viewing changes to dat/glade/editor/main-window.glade

  • Committer: Bazaar Package Importer
  • Author(s): Barry deFreese
  • Date: 2007-10-29 15:38:06 UTC
  • mfrom: (1.1.1 upstream)
  • Revision ID: james.westby@ubuntu.com-20071029153806-z2j47adhmdjc7wae
Tags: 0.0.4-1
* New upstream release
* Add desktop file and simple manpage for new binary lordsawar-army-editor
* Syntax fixes on manpages
* Move manpages to correct section (6)

Show diffs side-by-side

added added

removed removed

Lines of Context:
dat/glade/editor/main-window.glade
4
4
<glade-interface>
5
5
 
6
6
<widget class="GtkWindow" id="window">
7
 
  <property name="title" translatable="yes"></property>
 
7
  <property name="title" translatable="yes">LordsAWar! Scenario Editor</property>
8
8
  <property name="type">GTK_WINDOW_TOPLEVEL</property>
9
9
  <property name="window_position">GTK_WIN_POS_NONE</property>
10
10
  <property name="modal">False</property>
37
37
              <property name="use_underline">True</property>
38
38
 
39
39
              <child>
40
 
                <widget class="GtkMenu" id="file_menu">
41
 
                  <property name="visible">True</property>
 
40
                <widget class="GtkMenu" id="file_menuitem_menu">
42
41
 
43
42
                  <child>
44
43
                    <widget class="GtkMenuItem" id="new_map_menuitem">
97
96
              <property name="use_underline">True</property>
98
97
 
99
98
              <child>
100
 
                <widget class="GtkMenu" id="edit_menu">
101
 
                  <property name="visible">True</property>
 
99
                <widget class="GtkMenu" id="edit_menuitem_menu">
102
100
 
103
101
                  <child>
104
102
                    <widget class="GtkMenuItem" id="edit_players_menuitem">
115
113
                      <property name="use_underline">True</property>
116
114
                    </widget>
117
115
                  </child>
 
116
 
 
117
                  <child>
 
118
                    <widget class="GtkMenuItem" id="smooth_screen_menuitem">
 
119
                      <property name="visible">True</property>
 
120
                      <property name="label" translatable="yes">_Smooth Screen</property>
 
121
                      <property name="use_underline">True</property>
 
122
                      <accelerator key="s" modifiers="0" signal="activate"/>
 
123
                    </widget>
 
124
                  </child>
 
125
 
 
126
                  <child>
 
127
                    <widget class="GtkMenuItem" id="smooth_map_menuitem">
 
128
                      <property name="visible">True</property>
 
129
                      <property name="label" translatable="yes">Smooth _Entire Map</property>
 
130
                      <property name="use_underline">True</property>
 
131
                    </widget>
 
132
                  </child>
 
133
                </widget>
 
134
              </child>
 
135
            </widget>
 
136
          </child>
 
137
 
 
138
          <child>
 
139
            <widget class="GtkMenuItem" id="view_menuitem">
 
140
              <property name="visible">True</property>
 
141
              <property name="label" translatable="yes">_View</property>
 
142
              <property name="use_underline">True</property>
 
143
 
 
144
              <child>
 
145
                <widget class="GtkMenu" id="view_menuitem_menu">
 
146
 
 
147
                  <child>
 
148
                    <widget class="GtkCheckMenuItem" id="fullscreen_menuitem">
 
149
                      <property name="visible">True</property>
 
150
                      <property name="label" translatable="yes">_Fullscreen</property>
 
151
                      <property name="use_underline">True</property>
 
152
                      <property name="active">False</property>
 
153
                      <signal name="activate" handler="on_fullscreen_menuitem_activate" last_modification_time="Wed, 24 Oct 2007 15:35:08 GMT"/>
 
154
                      <accelerator key="F11" modifiers="0" signal="activate"/>
 
155
                    </widget>
 
156
                  </child>
118
157
                </widget>
119
158
              </child>
120
159
            </widget>
127
166
              <property name="use_underline">True</property>
128
167
 
129
168
              <child>
130
 
                <widget class="GtkMenu" id="menu3">
131
 
                  <property name="visible">True</property>
 
169
                <widget class="GtkMenu" id="help_menuitem_menu">
132
170
 
133
171
                  <child>
134
172
                    <widget class="GtkImageMenuItem" id="imagemenuitem10">
302
340
                      </child>
303
341
 
304
342
                      <child>
 
343
                        <widget class="GtkRadioButton" id="draw_2_radiobutton">
 
344
                          <property name="visible">True</property>
 
345
                          <property name="tooltip" translatable="yes">Draw terrain with a 3x3 pointer</property>
 
346
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
347
                          <property name="focus_on_click">True</property>
 
348
                          <property name="active">False</property>
 
349
                          <property name="inconsistent">False</property>
 
350
                          <property name="draw_indicator">True</property>
 
351
                          <property name="group">pointer_radiobutton</property>
 
352
 
 
353
                          <child>
 
354
                            <widget class="GtkImage" id="draw_2_image">
 
355
                              <property name="visible">True</property>
 
356
                              <property name="stock">gtk-missing-image</property>
 
357
                              <property name="icon_size">4</property>
 
358
                              <property name="xalign">0.5</property>
 
359
                              <property name="yalign">0.5</property>
 
360
                              <property name="xpad">0</property>
 
361
                              <property name="ypad">0</property>
 
362
                            </widget>
 
363
                          </child>
 
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>
 
371
 
 
372
                      <child>
305
373
                        <widget class="GtkRadioButton" id="draw_3_radiobutton">
306
374
                          <property name="visible">True</property>
307
375
                          <property name="tooltip" translatable="yes">Draw terrain with a 3x3 pointer</property>
330
398
                          <property name="fill">False</property>
331
399
                        </packing>
332
400
                      </child>
 
401
 
 
402
                      <child>
 
403
                        <widget class="GtkRadioButton" id="erase_radiobutton">
 
404
                          <property name="visible">True</property>
 
405
                          <property name="relief">GTK_RELIEF_NORMAL</property>
 
406
                          <property name="focus_on_click">True</property>
 
407
                          <property name="active">False</property>
 
408
                          <property name="inconsistent">False</property>
 
409
                          <property name="draw_indicator">True</property>
 
410
                          <property name="group">pointer_radiobutton</property>
 
411
 
 
412
                          <child>
 
413
                            <widget class="GtkImage" id="erase_image">
 
414
                              <property name="visible">True</property>
 
415
                              <property name="stock">gtk-missing-image</property>
 
416
                              <property name="icon_size">4</property>
 
417
                              <property name="xalign">0.5</property>
 
418
                              <property name="yalign">0.5</property>
 
419
                              <property name="xpad">0</property>
 
420
                              <property name="ypad">0</property>
 
421
                            </widget>
 
422
                          </child>
 
423
                        </widget>
 
424
                        <packing>
 
425
                          <property name="padding">0</property>
 
426
                          <property name="expand">False</property>
 
427
                          <property name="fill">False</property>
 
428
                        </packing>
 
429
                      </child>
333
430
                    </widget>
334
431
                    <packing>
335
432
                      <property name="padding">0</property>
337
434
                      <property name="fill">True</property>
338
435
                    </packing>
339
436
                  </child>
340
 
 
341
 
                  <child>
342
 
                    <widget class="GtkAlignment" id="terrain_type_alignment">
343
 
                      <property name="visible">True</property>
344
 
                      <property name="xalign">0.5</property>
345
 
                      <property name="yalign">0.5</property>
346
 
                      <property name="xscale">1</property>
347
 
                      <property name="yscale">1</property>
348
 
                      <property name="top_padding">12</property>
349
 
                      <property name="bottom_padding">0</property>
350
 
                      <property name="left_padding">18</property>
351
 
                      <property name="right_padding">18</property>
352
 
 
353
 
                      <child>
354
 
                        <widget class="GtkTable" id="terrain_type_table">
355
 
                          <property name="visible">True</property>
356
 
                          <property name="n_rows">3</property>
357
 
                          <property name="n_columns">3</property>
358
 
                          <property name="homogeneous">False</property>
359
 
                          <property name="row_spacing">6</property>
360
 
                          <property name="column_spacing">6</property>
361
 
                        </widget>
362
 
                      </child>
363
 
                    </widget>
364
 
                    <packing>
365
 
                      <property name="padding">0</property>
366
 
                      <property name="expand">False</property>
367
 
                      <property name="fill">False</property>
368
 
                    </packing>
369
 
                  </child>
370
 
                </widget>
371
 
                <packing>
372
 
                  <property name="padding">0</property>
373
 
                  <property name="expand">False</property>
374
 
                  <property name="fill">False</property>
375
 
                </packing>
376
 
              </child>
377
 
 
378
 
              <child>
379
 
                <widget class="GtkTable" id="map_things_table">
380
 
                  <property name="visible">True</property>
381
 
                  <property name="n_rows">2</property>
382
 
                  <property name="n_columns">5</property>
383
 
                  <property name="homogeneous">False</property>
384
 
                  <property name="row_spacing">6</property>
385
 
                  <property name="column_spacing">6</property>
386
 
 
387
 
                  <child>
388
 
                    <widget class="GtkRadioButton" id="erase_radiobutton">
389
 
                      <property name="visible">True</property>
390
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
391
 
                      <property name="focus_on_click">True</property>
392
 
                      <property name="active">False</property>
393
 
                      <property name="inconsistent">False</property>
394
 
                      <property name="draw_indicator">True</property>
395
 
                      <property name="group">pointer_radiobutton</property>
396
 
 
397
 
                      <child>
398
 
                        <widget class="GtkImage" id="erase_image">
399
 
                          <property name="visible">True</property>
400
 
                          <property name="stock">gtk-missing-image</property>
401
 
                          <property name="icon_size">4</property>
402
 
                          <property name="xalign">0.5</property>
403
 
                          <property name="yalign">0.5</property>
404
 
                          <property name="xpad">0</property>
405
 
                          <property name="ypad">0</property>
406
 
                        </widget>
407
 
                      </child>
408
 
                    </widget>
409
 
                    <packing>
410
 
                      <property name="left_attach">3</property>
411
 
                      <property name="right_attach">4</property>
412
 
                      <property name="top_attach">1</property>
413
 
                      <property name="bottom_attach">2</property>
414
 
                    </packing>
415
 
                  </child>
416
 
 
417
 
                  <child>
418
 
                    <widget class="GtkRadioButton" id="draw_stack_radiobutton">
419
 
                      <property name="visible">True</property>
420
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
421
 
                      <property name="focus_on_click">True</property>
422
 
                      <property name="active">False</property>
423
 
                      <property name="inconsistent">False</property>
424
 
                      <property name="draw_indicator">True</property>
425
 
                      <property name="group">pointer_radiobutton</property>
426
 
 
427
 
                      <child>
428
 
                        <widget class="GtkImage" id="draw_stack_image">
429
 
                          <property name="visible">True</property>
430
 
                          <property name="stock">gtk-missing-image</property>
431
 
                          <property name="icon_size">4</property>
432
 
                          <property name="xalign">0.5</property>
433
 
                          <property name="yalign">0.5</property>
434
 
                          <property name="xpad">0</property>
435
 
                          <property name="ypad">0</property>
436
 
                        </widget>
437
 
                      </child>
438
 
                    </widget>
439
 
                    <packing>
440
 
                      <property name="left_attach">0</property>
441
 
                      <property name="right_attach">1</property>
442
 
                      <property name="top_attach">0</property>
443
 
                      <property name="bottom_attach">1</property>
444
 
                    </packing>
445
 
                  </child>
446
 
 
447
 
                  <child>
448
 
                    <widget class="GtkRadioButton" id="draw_city_radiobutton">
449
 
                      <property name="visible">True</property>
450
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
451
 
                      <property name="focus_on_click">True</property>
452
 
                      <property name="active">False</property>
453
 
                      <property name="inconsistent">False</property>
454
 
                      <property name="draw_indicator">True</property>
455
 
                      <property name="group">pointer_radiobutton</property>
456
 
 
457
 
                      <child>
458
 
                        <widget class="GtkImage" id="draw_city_image">
459
 
                          <property name="visible">True</property>
460
 
                          <property name="stock">gtk-missing-image</property>
461
 
                          <property name="icon_size">4</property>
462
 
                          <property name="xalign">0.5</property>
463
 
                          <property name="yalign">0.5</property>
464
 
                          <property name="xpad">0</property>
465
 
                          <property name="ypad">0</property>
466
 
                        </widget>
467
 
                      </child>
468
 
                    </widget>
469
 
                    <packing>
470
 
                      <property name="left_attach">1</property>
471
 
                      <property name="right_attach">2</property>
472
 
                      <property name="top_attach">0</property>
473
 
                      <property name="bottom_attach">1</property>
474
 
                    </packing>
475
 
                  </child>
476
 
 
477
 
                  <child>
478
 
                    <widget class="GtkRadioButton" id="draw_ruin_radiobutton">
479
 
                      <property name="visible">True</property>
480
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
481
 
                      <property name="focus_on_click">True</property>
482
 
                      <property name="active">False</property>
483
 
                      <property name="inconsistent">False</property>
484
 
                      <property name="draw_indicator">True</property>
485
 
                      <property name="group">pointer_radiobutton</property>
486
 
 
487
 
                      <child>
488
 
                        <widget class="GtkImage" id="draw_ruin_image">
489
 
                          <property name="visible">True</property>
490
 
                          <property name="stock">gtk-missing-image</property>
491
 
                          <property name="icon_size">4</property>
492
 
                          <property name="xalign">0.5</property>
493
 
                          <property name="yalign">0.5</property>
494
 
                          <property name="xpad">0</property>
495
 
                          <property name="ypad">0</property>
496
 
                        </widget>
497
 
                      </child>
498
 
                    </widget>
499
 
                    <packing>
500
 
                      <property name="left_attach">2</property>
501
 
                      <property name="right_attach">3</property>
502
 
                      <property name="top_attach">0</property>
503
 
                      <property name="bottom_attach">1</property>
504
 
                    </packing>
505
 
                  </child>
506
 
 
507
 
                  <child>
508
 
                    <widget class="GtkRadioButton" id="draw_temple_radiobutton">
509
 
                      <property name="visible">True</property>
510
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
511
 
                      <property name="focus_on_click">True</property>
512
 
                      <property name="active">False</property>
513
 
                      <property name="inconsistent">False</property>
514
 
                      <property name="draw_indicator">True</property>
515
 
                      <property name="group">pointer_radiobutton</property>
516
 
 
517
 
                      <child>
518
 
                        <widget class="GtkImage" id="draw_temple_image">
519
 
                          <property name="visible">True</property>
520
 
                          <property name="stock">gtk-missing-image</property>
521
 
                          <property name="icon_size">4</property>
522
 
                          <property name="xalign">0.5</property>
523
 
                          <property name="yalign">0.5</property>
524
 
                          <property name="xpad">0</property>
525
 
                          <property name="ypad">0</property>
526
 
                        </widget>
527
 
                      </child>
528
 
                    </widget>
529
 
                    <packing>
530
 
                      <property name="left_attach">3</property>
531
 
                      <property name="right_attach">4</property>
532
 
                      <property name="top_attach">0</property>
533
 
                      <property name="bottom_attach">1</property>
534
 
                    </packing>
535
 
                  </child>
536
 
 
537
 
                  <child>
538
 
                    <widget class="GtkRadioButton" id="draw_signpost_radiobutton">
539
 
                      <property name="visible">True</property>
540
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
541
 
                      <property name="focus_on_click">True</property>
542
 
                      <property name="active">False</property>
543
 
                      <property name="inconsistent">False</property>
544
 
                      <property name="draw_indicator">True</property>
545
 
                      <property name="group">pointer_radiobutton</property>
546
 
 
547
 
                      <child>
548
 
                        <widget class="GtkImage" id="draw_signpost_image">
549
 
                          <property name="visible">True</property>
550
 
                          <property name="stock">gtk-missing-image</property>
551
 
                          <property name="icon_size">4</property>
552
 
                          <property name="xalign">0.5</property>
553
 
                          <property name="yalign">0.5</property>
554
 
                          <property name="xpad">0</property>
555
 
                          <property name="ypad">0</property>
556
 
                        </widget>
557
 
                      </child>
558
 
                    </widget>
559
 
                    <packing>
560
 
                      <property name="left_attach">0</property>
561
 
                      <property name="right_attach">1</property>
562
 
                      <property name="top_attach">1</property>
563
 
                      <property name="bottom_attach">2</property>
564
 
                    </packing>
565
 
                  </child>
566
 
 
567
 
                  <child>
568
 
                    <widget class="GtkRadioButton" id="draw_stone_radiobutton">
569
 
                      <property name="visible">True</property>
570
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
571
 
                      <property name="focus_on_click">True</property>
572
 
                      <property name="active">False</property>
573
 
                      <property name="inconsistent">False</property>
574
 
                      <property name="draw_indicator">True</property>
575
 
                      <property name="group">pointer_radiobutton</property>
576
 
 
577
 
                      <child>
578
 
                        <widget class="GtkImage" id="draw_stone_image">
579
 
                          <property name="visible">True</property>
580
 
                          <property name="stock">gtk-missing-image</property>
581
 
                          <property name="icon_size">4</property>
582
 
                          <property name="xalign">0.5</property>
583
 
                          <property name="yalign">0.5</property>
584
 
                          <property name="xpad">0</property>
585
 
                          <property name="ypad">0</property>
586
 
                        </widget>
587
 
                      </child>
588
 
                    </widget>
589
 
                    <packing>
590
 
                      <property name="left_attach">1</property>
591
 
                      <property name="right_attach">2</property>
592
 
                      <property name="top_attach">1</property>
593
 
                      <property name="bottom_attach">2</property>
594
 
                    </packing>
595
 
                  </child>
596
 
 
597
 
                  <child>
598
 
                    <widget class="GtkRadioButton" id="draw_road_radiobutton">
599
 
                      <property name="visible">True</property>
600
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
601
 
                      <property name="focus_on_click">True</property>
602
 
                      <property name="active">False</property>
603
 
                      <property name="inconsistent">False</property>
604
 
                      <property name="draw_indicator">True</property>
605
 
                      <property name="group">pointer_radiobutton</property>
606
 
 
607
 
                      <child>
608
 
                        <widget class="GtkImage" id="draw_road_image">
609
 
                          <property name="visible">True</property>
610
 
                          <property name="stock">gtk-missing-image</property>
611
 
                          <property name="icon_size">4</property>
612
 
                          <property name="xalign">0.5</property>
613
 
                          <property name="yalign">0.5</property>
614
 
                          <property name="xpad">0</property>
615
 
                          <property name="ypad">0</property>
616
 
                        </widget>
617
 
                      </child>
618
 
                    </widget>
619
 
                    <packing>
620
 
                      <property name="left_attach">2</property>
621
 
                      <property name="right_attach">3</property>
622
 
                      <property name="top_attach">1</property>
623
 
                      <property name="bottom_attach">2</property>
624
 
                    </packing>
625
 
                  </child>
626
 
 
627
 
                  <child>
628
 
                    <widget class="GtkRadioButton" id="draw_port_radiobutton">
629
 
                      <property name="visible">True</property>
630
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
631
 
                      <property name="focus_on_click">True</property>
632
 
                      <property name="active">False</property>
633
 
                      <property name="inconsistent">False</property>
634
 
                      <property name="draw_indicator">True</property>
635
 
                      <property name="group">pointer_radiobutton</property>
636
 
 
637
 
                      <child>
638
 
                        <widget class="GtkImage" id="draw_port_image">
639
 
                          <property name="visible">True</property>
640
 
                          <property name="stock">gtk-missing-image</property>
641
 
                          <property name="icon_size">4</property>
642
 
                          <property name="xalign">0.5</property>
643
 
                          <property name="yalign">0.5</property>
644
 
                          <property name="xpad">0</property>
645
 
                          <property name="ypad">0</property>
646
 
                        </widget>
647
 
                      </child>
648
 
                    </widget>
649
 
                    <packing>
650
 
                      <property name="left_attach">4</property>
651
 
                      <property name="right_attach">5</property>
652
 
                      <property name="top_attach">0</property>
653
 
                      <property name="bottom_attach">1</property>
654
 
                      <property name="x_options">fill</property>
655
 
                      <property name="y_options"></property>
656
 
                    </packing>
657
 
                  </child>
658
 
 
659
 
                  <child>
660
 
                    <widget class="GtkRadioButton" id="draw_bridge_radiobutton">
661
 
                      <property name="visible">True</property>
662
 
                      <property name="relief">GTK_RELIEF_NORMAL</property>
663
 
                      <property name="focus_on_click">True</property>
664
 
                      <property name="active">False</property>
665
 
                      <property name="inconsistent">False</property>
666
 
                      <property name="draw_indicator">True</property>
667
 
                      <property name="group">pointer_radiobutton</property>
668
 
 
669
 
                      <child>
670
 
                        <widget class="GtkImage" id="draw_bridge_image">
671
 
                          <property name="visible">True</property>
672
 
                          <property name="stock">gtk-missing-image</property>
673
 
                          <property name="icon_size">4</property>
674
 
                          <property name="xalign">0.5</property>
675
 
                          <property name="yalign">0.5</property>
676
 
                          <property name="xpad">0</property>
677
 
                          <property name="ypad">0</property>
678
 
                        </widget>
679
 
                      </child>
680
 
                    </widget>
681
 
                    <packing>
682
 
                      <property name="left_attach">4</property>
683
 
                      <property name="right_attach">5</property>
684
 
                      <property name="top_attach">1</property>
685
 
                      <property name="bottom_attach">2</property>
686
 
                      <property name="x_options">fill</property>
687
 
                      <property name="y_options"></property>
688
 
                    </packing>
689
 
                  </child>
690
 
                </widget>
691
 
                <packing>
692
 
                  <property name="padding">0</property>
693
 
                  <property name="expand">False</property>
694
 
                  <property name="fill">False</property>
 
437
                </widget>
 
438
                <packing>
 
439
                  <property name="padding">0</property>
 
440
                  <property name="expand">False</property>
 
441
                  <property name="fill">False</property>
 
442
                </packing>
 
443
              </child>
 
444
 
 
445
              <child>
 
446
                <widget class="GtkAlignment" id="terrain_type_alignment">
 
447
                  <property name="visible">True</property>
 
448
                  <property name="xalign">0.5</property>
 
449
                  <property name="yalign">0.5</property>
 
450
                  <property name="xscale">1</property>
 
451
                  <property name="yscale">1</property>
 
452
                  <property name="top_padding">6</property>
 
453
                  <property name="bottom_padding">0</property>
 
454
                  <property name="left_padding">0</property>
 
455
                  <property name="right_padding">0</property>
 
456
 
 
457
                  <child>
 
458
                    <widget class="GtkTable" id="terrain_type_table">
 
459
                      <property name="visible">True</property>
 
460
                      <property name="n_rows">2</property>
 
461
                      <property name="n_columns">6</property>
 
462
                      <property name="homogeneous">False</property>
 
463
                      <property name="row_spacing">6</property>
 
464
                      <property name="column_spacing">6</property>
 
465
                    </widget>
 
466
                  </child>
 
467
                </widget>
 
468
                <packing>
 
469
                  <property name="padding">0</property>
 
470
                  <property name="expand">True</property>
 
471
                  <property name="fill">True</property>
 
472
                </packing>
 
473
              </child>
 
474
 
 
475
              <child>
 
476
                <widget class="GtkScrolledWindow" id="scrolledwindow2">
 
477
                  <property name="visible">True</property>
 
478
                  <property name="can_focus">True</property>
 
479
                  <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 
480
                  <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
 
481
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
 
482
                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
483
 
 
484
                  <child>
 
485
                    <widget class="GtkViewport" id="viewport2">
 
486
                      <property name="visible">True</property>
 
487
                      <property name="shadow_type">GTK_SHADOW_IN</property>
 
488
 
 
489
                      <child>
 
490
                        <widget class="GtkHBox" id="terrain_tile_style_hbox">
 
491
                          <property name="visible">True</property>
 
492
                          <property name="homogeneous">False</property>
 
493
                          <property name="spacing">0</property>
 
494
 
 
495
                          <child>
 
496
                            <widget class="GtkRadioButton" id="radiobutton1">
 
497
                              <property name="visible">True</property>
 
498
                              <property name="can_focus">True</property>
 
499
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
500
                              <property name="focus_on_click">True</property>
 
501
                              <property name="active">False</property>
 
502
                              <property name="inconsistent">False</property>
 
503
                              <property name="draw_indicator">True</property>
 
504
 
 
505
                              <child>
 
506
                                <widget class="GtkAlignment" id="alignment1">
 
507
                                  <property name="visible">True</property>
 
508
                                  <property name="xalign">0.5</property>
 
509
                                  <property name="yalign">0.5</property>
 
510
                                  <property name="xscale">0</property>
 
511
                                  <property name="yscale">0</property>
 
512
                                  <property name="top_padding">0</property>
 
513
                                  <property name="bottom_padding">0</property>
 
514
                                  <property name="left_padding">0</property>
 
515
                                  <property name="right_padding">0</property>
 
516
 
 
517
                                  <child>
 
518
                                    <widget class="GtkHBox" id="hbox1">
 
519
                                      <property name="visible">True</property>
 
520
                                      <property name="homogeneous">False</property>
 
521
                                      <property name="spacing">2</property>
 
522
 
 
523
                                      <child>
 
524
                                        <widget class="GtkImage" id="image1">
 
525
                                          <property name="visible">True</property>
 
526
                                          <property name="stock">gtk-missing-image</property>
 
527
                                          <property name="icon_size">4</property>
 
528
                                          <property name="xalign">0.5</property>
 
529
                                          <property name="yalign">0.5</property>
 
530
                                          <property name="xpad">0</property>
 
531
                                          <property name="ypad">0</property>
 
532
                                        </widget>
 
533
                                        <packing>
 
534
                                          <property name="padding">0</property>
 
535
                                          <property name="expand">False</property>
 
536
                                          <property name="fill">False</property>
 
537
                                        </packing>
 
538
                                      </child>
 
539
 
 
540
                                      <child>
 
541
                                        <widget class="GtkLabel" id="label1">
 
542
                                          <property name="visible">True</property>
 
543
                                          <property name="label" translatable="yes"></property>
 
544
                                          <property name="use_underline">True</property>
 
545
                                          <property name="use_markup">False</property>
 
546
                                          <property name="justify">GTK_JUSTIFY_LEFT</property>
 
547
                                          <property name="wrap">False</property>
 
548
                                          <property name="selectable">False</property>
 
549
                                          <property name="xalign">0.5</property>
 
550
                                          <property name="yalign">0.5</property>
 
551
                                          <property name="xpad">0</property>
 
552
                                          <property name="ypad">0</property>
 
553
                                          <property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
 
554
                                          <property name="width_chars">-1</property>
 
555
                                          <property name="single_line_mode">False</property>
 
556
                                          <property name="angle">0</property>
 
557
                                        </widget>
 
558
                                        <packing>
 
559
                                          <property name="padding">0</property>
 
560
                                          <property name="expand">False</property>
 
561
                                          <property name="fill">False</property>
 
562
                                        </packing>
 
563
                                      </child>
 
564
                                    </widget>
 
565
                                  </child>
 
566
                                </widget>
 
567
                              </child>
 
568
                            </widget>
 
569
                            <packing>
 
570
                              <property name="padding">0</property>
 
571
                              <property name="expand">False</property>
 
572
                              <property name="fill">False</property>
 
573
                            </packing>
 
574
                          </child>
 
575
 
 
576
                          <child>
 
577
                            <placeholder/>
 
578
                          </child>
 
579
 
 
580
                          <child>
 
581
                            <placeholder/>
 
582
                          </child>
 
583
 
 
584
                          <child>
 
585
                            <placeholder/>
 
586
                          </child>
 
587
 
 
588
                          <child>
 
589
                            <placeholder/>
 
590
                          </child>
 
591
 
 
592
                          <child>
 
593
                            <placeholder/>
 
594
                          </child>
 
595
 
 
596
                          <child>
 
597
                            <placeholder/>
 
598
                          </child>
 
599
 
 
600
                          <child>
 
601
                            <placeholder/>
 
602
                          </child>
 
603
 
 
604
                          <child>
 
605
                            <placeholder/>
 
606
                          </child>
 
607
                        </widget>
 
608
                      </child>
 
609
                    </widget>
 
610
                  </child>
 
611
                </widget>
 
612
                <packing>
 
613
                  <property name="padding">0</property>
 
614
                  <property name="expand">True</property>
 
615
                  <property name="fill">True</property>
 
616
                </packing>
 
617
              </child>
 
618
 
 
619
              <child>
 
620
                <widget class="GtkScrolledWindow" id="scrolledwindow1">
 
621
                  <property name="visible">True</property>
 
622
                  <property name="can_focus">True</property>
 
623
                  <property name="hscrollbar_policy">GTK_POLICY_ALWAYS</property>
 
624
                  <property name="vscrollbar_policy">GTK_POLICY_NEVER</property>
 
625
                  <property name="shadow_type">GTK_SHADOW_NONE</property>
 
626
                  <property name="window_placement">GTK_CORNER_TOP_LEFT</property>
 
627
 
 
628
                  <child>
 
629
                    <widget class="GtkViewport" id="viewport1">
 
630
                      <property name="visible">True</property>
 
631
                      <property name="shadow_type">GTK_SHADOW_IN</property>
 
632
 
 
633
                      <child>
 
634
                        <widget class="GtkHBox" id="map_features_box">
 
635
                          <property name="visible">True</property>
 
636
                          <property name="homogeneous">False</property>
 
637
                          <property name="spacing">0</property>
 
638
 
 
639
                          <child>
 
640
                            <widget class="GtkRadioButton" id="draw_stack_radiobutton">
 
641
                              <property name="visible">True</property>
 
642
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
643
                              <property name="focus_on_click">True</property>
 
644
                              <property name="active">False</property>
 
645
                              <property name="inconsistent">False</property>
 
646
                              <property name="draw_indicator">True</property>
 
647
                              <property name="group">pointer_radiobutton</property>
 
648
 
 
649
                              <child>
 
650
                                <widget class="GtkImage" id="draw_stack_image">
 
651
                                  <property name="visible">True</property>
 
652
                                  <property name="stock">gtk-missing-image</property>
 
653
                                  <property name="icon_size">4</property>
 
654
                                  <property name="xalign">0.5</property>
 
655
                                  <property name="yalign">0.5</property>
 
656
                                  <property name="xpad">0</property>
 
657
                                  <property name="ypad">0</property>
 
658
                                </widget>
 
659
                              </child>
 
660
                            </widget>
 
661
                            <packing>
 
662
                              <property name="padding">0</property>
 
663
                              <property name="expand">False</property>
 
664
                              <property name="fill">False</property>
 
665
                            </packing>
 
666
                          </child>
 
667
 
 
668
                          <child>
 
669
                            <widget class="GtkRadioButton" id="draw_city_radiobutton">
 
670
                              <property name="visible">True</property>
 
671
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
672
                              <property name="focus_on_click">True</property>
 
673
                              <property name="active">False</property>
 
674
                              <property name="inconsistent">False</property>
 
675
                              <property name="draw_indicator">True</property>
 
676
                              <property name="group">pointer_radiobutton</property>
 
677
 
 
678
                              <child>
 
679
                                <widget class="GtkImage" id="draw_city_image">
 
680
                                  <property name="visible">True</property>
 
681
                                  <property name="stock">gtk-missing-image</property>
 
682
                                  <property name="icon_size">4</property>
 
683
                                  <property name="xalign">0.5</property>
 
684
                                  <property name="yalign">0.5</property>
 
685
                                  <property name="xpad">0</property>
 
686
                                  <property name="ypad">0</property>
 
687
                                </widget>
 
688
                              </child>
 
689
                            </widget>
 
690
                            <packing>
 
691
                              <property name="padding">0</property>
 
692
                              <property name="expand">False</property>
 
693
                              <property name="fill">False</property>
 
694
                            </packing>
 
695
                          </child>
 
696
 
 
697
                          <child>
 
698
                            <widget class="GtkRadioButton" id="draw_ruin_radiobutton">
 
699
                              <property name="visible">True</property>
 
700
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
701
                              <property name="focus_on_click">True</property>
 
702
                              <property name="active">False</property>
 
703
                              <property name="inconsistent">False</property>
 
704
                              <property name="draw_indicator">True</property>
 
705
                              <property name="group">pointer_radiobutton</property>
 
706
 
 
707
                              <child>
 
708
                                <widget class="GtkImage" id="draw_ruin_image">
 
709
                                  <property name="visible">True</property>
 
710
                                  <property name="stock">gtk-missing-image</property>
 
711
                                  <property name="icon_size">4</property>
 
712
                                  <property name="xalign">0.5</property>
 
713
                                  <property name="yalign">0.5</property>
 
714
                                  <property name="xpad">0</property>
 
715
                                  <property name="ypad">0</property>
 
716
                                </widget>
 
717
                              </child>
 
718
                            </widget>
 
719
                            <packing>
 
720
                              <property name="padding">0</property>
 
721
                              <property name="expand">False</property>
 
722
                              <property name="fill">False</property>
 
723
                            </packing>
 
724
                          </child>
 
725
 
 
726
                          <child>
 
727
                            <widget class="GtkRadioButton" id="draw_temple_radiobutton">
 
728
                              <property name="visible">True</property>
 
729
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
730
                              <property name="focus_on_click">True</property>
 
731
                              <property name="active">False</property>
 
732
                              <property name="inconsistent">False</property>
 
733
                              <property name="draw_indicator">True</property>
 
734
                              <property name="group">pointer_radiobutton</property>
 
735
 
 
736
                              <child>
 
737
                                <widget class="GtkImage" id="draw_temple_image">
 
738
                                  <property name="visible">True</property>
 
739
                                  <property name="stock">gtk-missing-image</property>
 
740
                                  <property name="icon_size">4</property>
 
741
                                  <property name="xalign">0.5</property>
 
742
                                  <property name="yalign">0.5</property>
 
743
                                  <property name="xpad">0</property>
 
744
                                  <property name="ypad">0</property>
 
745
                                </widget>
 
746
                              </child>
 
747
                            </widget>
 
748
                            <packing>
 
749
                              <property name="padding">0</property>
 
750
                              <property name="expand">False</property>
 
751
                              <property name="fill">False</property>
 
752
                            </packing>
 
753
                          </child>
 
754
 
 
755
                          <child>
 
756
                            <widget class="GtkRadioButton" id="draw_port_radiobutton">
 
757
                              <property name="visible">True</property>
 
758
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
759
                              <property name="focus_on_click">True</property>
 
760
                              <property name="active">False</property>
 
761
                              <property name="inconsistent">False</property>
 
762
                              <property name="draw_indicator">True</property>
 
763
                              <property name="group">pointer_radiobutton</property>
 
764
 
 
765
                              <child>
 
766
                                <widget class="GtkImage" id="draw_port_image">
 
767
                                  <property name="visible">True</property>
 
768
                                  <property name="stock">gtk-missing-image</property>
 
769
                                  <property name="icon_size">4</property>
 
770
                                  <property name="xalign">0.5</property>
 
771
                                  <property name="yalign">0.5</property>
 
772
                                  <property name="xpad">0</property>
 
773
                                  <property name="ypad">0</property>
 
774
                                </widget>
 
775
                              </child>
 
776
                            </widget>
 
777
                            <packing>
 
778
                              <property name="padding">0</property>
 
779
                              <property name="expand">False</property>
 
780
                              <property name="fill">False</property>
 
781
                            </packing>
 
782
                          </child>
 
783
 
 
784
                          <child>
 
785
                            <widget class="GtkRadioButton" id="draw_signpost_radiobutton">
 
786
                              <property name="visible">True</property>
 
787
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
788
                              <property name="focus_on_click">True</property>
 
789
                              <property name="active">False</property>
 
790
                              <property name="inconsistent">False</property>
 
791
                              <property name="draw_indicator">True</property>
 
792
                              <property name="group">pointer_radiobutton</property>
 
793
 
 
794
                              <child>
 
795
                                <widget class="GtkImage" id="draw_signpost_image">
 
796
                                  <property name="visible">True</property>
 
797
                                  <property name="stock">gtk-missing-image</property>
 
798
                                  <property name="icon_size">4</property>
 
799
                                  <property name="xalign">0.5</property>
 
800
                                  <property name="yalign">0.5</property>
 
801
                                  <property name="xpad">0</property>
 
802
                                  <property name="ypad">0</property>
 
803
                                </widget>
 
804
                              </child>
 
805
                            </widget>
 
806
                            <packing>
 
807
                              <property name="padding">0</property>
 
808
                              <property name="expand">False</property>
 
809
                              <property name="fill">False</property>
 
810
                            </packing>
 
811
                          </child>
 
812
 
 
813
                          <child>
 
814
                            <widget class="GtkRadioButton" id="draw_road_radiobutton">
 
815
                              <property name="visible">True</property>
 
816
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
817
                              <property name="focus_on_click">True</property>
 
818
                              <property name="active">False</property>
 
819
                              <property name="inconsistent">False</property>
 
820
                              <property name="draw_indicator">True</property>
 
821
                              <property name="group">pointer_radiobutton</property>
 
822
 
 
823
                              <child>
 
824
                                <widget class="GtkImage" id="draw_road_image">
 
825
                                  <property name="visible">True</property>
 
826
                                  <property name="stock">gtk-missing-image</property>
 
827
                                  <property name="icon_size">4</property>
 
828
                                  <property name="xalign">0.5</property>
 
829
                                  <property name="yalign">0.5</property>
 
830
                                  <property name="xpad">0</property>
 
831
                                  <property name="ypad">0</property>
 
832
                                </widget>
 
833
                              </child>
 
834
                            </widget>
 
835
                            <packing>
 
836
                              <property name="padding">0</property>
 
837
                              <property name="expand">False</property>
 
838
                              <property name="fill">False</property>
 
839
                            </packing>
 
840
                          </child>
 
841
 
 
842
                          <child>
 
843
                            <widget class="GtkRadioButton" id="draw_bridge_radiobutton">
 
844
                              <property name="visible">True</property>
 
845
                              <property name="relief">GTK_RELIEF_NORMAL</property>
 
846
                              <property name="focus_on_click">True</property>
 
847
                              <property name="active">False</property>
 
848
                              <property name="inconsistent">False</property>
 
849
                              <property name="draw_indicator">True</property>
 
850
                              <property name="group">pointer_radiobutton</property>
 
851
 
 
852
                              <child>
 
853
                                <widget class="GtkImage" id="draw_bridge_image">
 
854
                                  <property name="visible">True</property>
 
855
                                  <property name="stock">gtk-missing-image</property>
 
856
                                  <property name="icon_size">4</property>
 
857
                                  <property name="xalign">0.5</property>
 
858
                                  <property name="yalign">0.5</property>
 
859
                                  <property name="xpad">0</property>
 
860
                                  <property name="ypad">0</property>
 
861
                                </widget>
 
862
                              </child>
 
863
                            </widget>
 
864
                            <packing>
 
865
                              <property name="padding">0</property>
 
866
                              <property name="expand">False</property>
 
867
                              <property name="fill">False</property>
 
868
                            </packing>
 
869
                          </child>
 
870
                        </widget>
 
871
                      </child>
 
872
                    </widget>
 
873
                  </child>
 
874
                </widget>
 
875
                <packing>
 
876
                  <property name="padding">0</property>
 
877
                  <property name="expand">True</property>
 
878
                  <property name="fill">True</property>
695
879
                </packing>
696
880
              </child>
697
881
 
701
885
                  <property name="label" translatable="yes"></property>
702
886
                  <property name="use_underline">False</property>
703
887
                  <property name="use_markup">False</property>
704
 
                  <property name="justify">GTK_JUSTIFY_LEFT</property>
 
888
                  <property name="justify">GTK_JUSTIFY_RIGHT</property>
705
889
                  <property name="wrap">False</property>
706
890
                  <property name="selectable">False</property>
707
891
                  <property name="xalign">0</property>