/b-gtk/fix-viz

To get this branch, use:
bzr branch http://gegoxaren.bato24.eu/bzr/b-gtk/fix-viz

« back to all changes in this revision

Viewing changes to olive.glade

  • Committer: Szilveszter Farkas (Phanatic)
  • Date: 2007-06-10 15:50:23 UTC
  • mfrom: (195.1.26 browse-remote-branches)
  • Revision ID: szilveszter.farkas@gmail.com-20070610155023-o3moy5a3wrp9o412
Merge browse-remote-branches branch (experimental).

Show diffs side-by-side

added added

removed removed

Lines of Context:
olive.glade
1
 
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
1
<?xml version="1.0" encoding="UTF-8"?>
2
2
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
3
3
<!--*- mode: xml -*-->
4
4
<glade-interface>
556
556
                        <property name="position">4</property>
557
557
                      </packing>
558
558
                    </child>
 
559
                    <child>
 
560
                      <widget class="GtkVSeparator" id="vseparator">
 
561
                        <property name="visible">True</property>
 
562
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
563
                      </widget>
 
564
                      <packing>
 
565
                        <property name="expand">False</property>
 
566
                        <property name="fill">False</property>
 
567
                        <property name="position">5</property>
 
568
                      </packing>
 
569
                    </child>
 
570
                    <child>
 
571
                      <widget class="GtkCheckButton" id="checkbutton_history">
 
572
                        <property name="visible">True</property>
 
573
                        <property name="can_focus">True</property>
 
574
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
575
                        <property name="label" translatable="yes">H_istory Mode</property>
 
576
                        <property name="use_underline">True</property>
 
577
                        <property name="draw_indicator">True</property>
 
578
                        <signal name="toggled" handler="on_checkbutton_history_toggled"/>
 
579
                      </widget>
 
580
                      <packing>
 
581
                        <property name="expand">False</property>
 
582
                        <property name="fill">False</property>
 
583
                        <property name="position">6</property>
 
584
                      </packing>
 
585
                    </child>
 
586
                    <child>
 
587
                      <widget class="GtkEntry" id="entry_history_revno">
 
588
                        <property name="width_request">75</property>
 
589
                        <property name="visible">True</property>
 
590
                        <property name="sensitive">False</property>
 
591
                        <property name="can_focus">True</property>
 
592
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
593
                        <signal name="key_press_event" handler="on_entry_history_revno_key_press_event"/>
 
594
                      </widget>
 
595
                      <packing>
 
596
                        <property name="expand">False</property>
 
597
                        <property name="fill">False</property>
 
598
                        <property name="position">7</property>
 
599
                      </packing>
 
600
                    </child>
 
601
                    <child>
 
602
                      <widget class="GtkButton" id="button_history_browse">
 
603
                        <property name="visible">True</property>
 
604
                        <property name="sensitive">False</property>
 
605
                        <property name="can_focus">True</property>
 
606
                        <property name="receives_default">True</property>
 
607
                        <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
608
                        <signal name="clicked" handler="on_button_history_browse_clicked"/>
 
609
                        <child>
 
610
                          <widget class="GtkImage" id="image_history_browse">
 
611
                            <property name="visible">True</property>
 
612
                            <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
 
613
                            <property name="stock">gtk-open</property>
 
614
                          </widget>
 
615
                        </child>
 
616
                      </widget>
 
617
                      <packing>
 
618
                        <property name="expand">False</property>
 
619
                        <property name="fill">False</property>
 
620
                        <property name="position">8</property>
 
621
                      </packing>
 
622
                    </child>
559
623
                  </widget>
560
624
                  <packing>
561
625
                    <property name="expand">False</property>