The R Project SVN R

Rev

Rev 5555 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed

<?xml version="1.0"?>
<GTK-Interface>

<project>
  <name>gnome-interface</name>
  <program_name>gnome-interface</program_name>
  <directory></directory>
  <source_directory>src</source_directory>
  <pixmaps_directory>pixmaps</pixmaps_directory>
  <language>C</language>
  <gnome_support>True</gnome_support>
  <gettext_support>True</gettext_support>
  <use_widget_names>False</use_widget_names>
  <output_main_file>True</output_main_file>
  <output_support_files>True</output_support_files>
  <output_build_files>True</output_build_files>
  <backup_source_files>True</backup_source_files>
  <main_source_file>interface.c</main_source_file>
  <main_header_file>interface.h</main_header_file>
  <handler_source_file>callbacks.c</handler_source_file>
  <handler_header_file>callbacks.h</handler_header_file>
  <support_source_file>support.c</support_source_file>
  <support_header_file>support.h</support_header_file>
  <translatable_strings_file></translatable_strings_file>
</project>

<widget>
  <class>GnomeDialog</class>
  <name>prefs_dialog</name>
  <visible>False</visible>
  <title>R preferences</title>
  <type>GTK_WINDOW_DIALOG</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>False</allow_grow>
  <auto_shrink>False</auto_shrink>
  <auto_close>False</auto_close>
  <hide_on_close>False</hide_on_close>

  <widget>
    <class>GtkVBox</class>
    <child_name>GnomeDialog:vbox</child_name>
    <name>dialog-vbox1</name>
    <homogeneous>False</homogeneous>
    <spacing>8</spacing>
    <child>
      <padding>4</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>

    <widget>
      <class>GtkNotebook</class>
      <name>notebook1</name>
      <can_focus>True</can_focus>
      <show_tabs>True</show_tabs>
      <show_border>True</show_border>
      <tab_pos>GTK_POS_TOP</tab_pos>
      <scrollable>False</scrollable>
      <tab_hborder>2</tab_hborder>
      <tab_vborder>2</tab_vborder>
      <popup_enable>False</popup_enable>
      <child>
    <padding>0</padding>
    <expand>True</expand>
    <fill>True</fill>
      </child>

      <widget>
    <class>GtkVBox</class>
    <name>prefs_console_vbox</name>
    <visible>False</visible>
    <homogeneous>False</homogeneous>
    <spacing>0</spacing>

    <widget>
      <class>GtkFrame</class>
      <name>prefs_console_frame</name>
      <border_width>4</border_width>
      <label>Text settings</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
        <padding>0</padding>
        <expand>True</expand>
        <fill>True</fill>
      </child>

      <widget>
        <class>GtkTable</class>
        <name>table1</name>
        <border_width>4</border_width>
        <rows>3</rows>
        <columns>2</columns>
        <homogeneous>False</homogeneous>
        <row_spacing>4</row_spacing>
        <column_spacing>4</column_spacing>

        <widget>
          <class>GnomeFontPicker</class>
          <name>prefs_console_font</name>
          <can_focus>True</can_focus>
          <title>Console text font</title>
          <preview_text>AaBbCcDdEeFfGgHhIiJjKkLlMmNnOoPpQqRrSsTtUuVvWwXxYyZz</preview_text>
          <mode>GNOME_FONT_PICKER_MODE_FONT_INFO</mode>
          <show_size>True</show_size>
          <use_font>False</use_font>
          <use_font_size>14</use_font_size>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeColorPicker</class>
          <name>prefs_console_text_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeColorPicker</class>
          <name>prefs_console_bg_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label7</name>
          <label>Font:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label8</name>
          <label>Text colour:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label9</name>
          <label>Background colour:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>
      </widget>
    </widget>
      </widget>

      <widget>
    <class>GtkLabel</class>
    <child_name>Notebook:tab</child_name>
    <name>label1</name>
    <label>Console</label>
    <justify>GTK_JUSTIFY_CENTER</justify>
    <wrap>False</wrap>
    <xalign>0.5</xalign>
    <yalign>0.5</yalign>
    <xpad>0</xpad>
    <ypad>0</ypad>
      </widget>

      <widget>
    <class>GtkVBox</class>
    <name>prefs_startup_vbox</name>
    <visible>False</visible>
    <homogeneous>False</homogeneous>
    <spacing>0</spacing>

    <widget>
      <class>GtkFrame</class>
      <name>frame9</name>
      <border_width>4</border_width>
      <label>Restore workspace</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
        <padding>0</padding>
        <expand>True</expand>
        <fill>True</fill>
      </child>

      <widget>
        <class>GtkVBox</class>
        <name>vbox6</name>
        <border_width>4</border_width>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>

        <widget>
          <class>GtkRadioButton</class>
          <name>prefs_always_restore_ws_radio</name>
          <can_focus>True</can_focus>
          <label>Always restore</label>
          <active>False</active>
          <draw_indicator>True</draw_indicator>
          <group>prefs_restore_ws_group</group>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>

        <widget>
          <class>GtkRadioButton</class>
          <name>prefs_never_restore_ws_radio</name>
          <can_focus>True</can_focus>
          <label>Never restore</label>
          <active>False</active>
          <draw_indicator>True</draw_indicator>
          <group>prefs_restore_ws_group</group>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkFrame</class>
      <name>prefs_environment_frame</name>
      <border_width>4</border_width>
      <label>R environment</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
        <padding>0</padding>
        <expand>True</expand>
        <fill>True</fill>
      </child>

      <widget>
        <class>GtkVBox</class>
        <name>vbox2</name>
        <border_width>4</border_width>
        <homogeneous>False</homogeneous>
        <spacing>4</spacing>

        <widget>
          <class>GtkTable</class>
          <name>table2</name>
          <rows>2</rows>
          <columns>2</columns>
          <homogeneous>False</homogeneous>
          <row_spacing>4</row_spacing>
          <column_spacing>4</column_spacing>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>True</fill>
          </child>

          <widget>
        <class>GtkEntry</class>
        <name>prefs_vsize_entry</name>
        <can_focus>True</can_focus>
        <editable>True</editable>
        <text_visible>True</text_visible>
        <text_max_length>0</text_max_length>
        <text></text>
        <child>
          <left_attach>1</left_attach>
          <right_attach>2</right_attach>
          <top_attach>0</top_attach>
          <bottom_attach>1</bottom_attach>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <xexpand>True</xexpand>
          <yexpand>False</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>False</yfill>
        </child>
          </widget>

          <widget>
        <class>GtkEntry</class>
        <name>prefs_nsize_entry</name>
        <can_focus>True</can_focus>
        <editable>True</editable>
        <text_visible>True</text_visible>
        <text_max_length>0</text_max_length>
        <text></text>
        <child>
          <left_attach>1</left_attach>
          <right_attach>2</right_attach>
          <top_attach>1</top_attach>
          <bottom_attach>2</bottom_attach>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <xexpand>True</xexpand>
          <yexpand>False</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>False</yfill>
        </child>
          </widget>

          <widget>
        <class>GtkLabel</class>
        <name>label11</name>
        <label>Number of cons cells:</label>
        <justify>GTK_JUSTIFY_CENTER</justify>
        <wrap>False</wrap>
        <xalign>1</xalign>
        <yalign>0.5</yalign>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <child>
          <left_attach>0</left_attach>
          <right_attach>1</right_attach>
          <top_attach>1</top_attach>
          <bottom_attach>2</bottom_attach>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <xexpand>False</xexpand>
          <yexpand>False</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>False</yfill>
        </child>
          </widget>

          <widget>
        <class>GtkLabel</class>
        <name>label10</name>
        <label>Vector heap size:</label>
        <justify>GTK_JUSTIFY_CENTER</justify>
        <wrap>False</wrap>
        <xalign>1</xalign>
        <yalign>0.5</yalign>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <child>
          <left_attach>0</left_attach>
          <right_attach>1</right_attach>
          <top_attach>0</top_attach>
          <bottom_attach>1</bottom_attach>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <xexpand>False</xexpand>
          <yexpand>False</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>False</yfill>
        </child>
          </widget>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label20</name>
          <label>Environment settings will not take effect until R is restarted.</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>0</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>
    </widget>
      </widget>

      <widget>
    <class>GtkLabel</class>
    <child_name>Notebook:tab</child_name>
    <name>label2</name>
    <label>Startup</label>
    <justify>GTK_JUSTIFY_CENTER</justify>
    <wrap>False</wrap>
    <xalign>0.5</xalign>
    <yalign>0.5</yalign>
    <xpad>0</xpad>
    <ypad>0</ypad>
      </widget>

      <widget>
    <class>GtkVBox</class>
    <name>prefs_exit_vbox</name>
    <visible>False</visible>
    <homogeneous>False</homogeneous>
    <spacing>0</spacing>

    <widget>
      <class>GtkFrame</class>
      <name>frame8</name>
      <border_width>4</border_width>
      <label>Save workspace</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
        <padding>0</padding>
        <expand>True</expand>
        <fill>True</fill>
      </child>

      <widget>
        <class>GtkVBox</class>
        <name>vbox5</name>
        <border_width>4</border_width>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>

        <widget>
          <class>GtkRadioButton</class>
          <name>prefs_prompt_save_ws_radio</name>
          <can_focus>True</can_focus>
          <label>Prompt</label>
          <active>False</active>
          <draw_indicator>True</draw_indicator>
          <group>prefs_save_ws_group</group>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>

        <widget>
          <class>GtkRadioButton</class>
          <name>prefs_always_save_ws_radio</name>
          <can_focus>True</can_focus>
          <label>Always save</label>
          <active>False</active>
          <draw_indicator>True</draw_indicator>
          <group>prefs_save_ws_group</group>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>

        <widget>
          <class>GtkRadioButton</class>
          <name>prefs_never_save_ws_radio</name>
          <can_focus>True</can_focus>
          <label>Never save</label>
          <active>False</active>
          <draw_indicator>True</draw_indicator>
          <group>prefs_save_ws_group</group>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>
    </widget>
      </widget>

      <widget>
    <class>GtkLabel</class>
    <child_name>Notebook:tab</child_name>
    <name>label3</name>
    <label>Exit</label>
    <justify>GTK_JUSTIFY_CENTER</justify>
    <wrap>False</wrap>
    <xalign>0.5</xalign>
    <yalign>0.5</yalign>
    <xpad>0</xpad>
    <ypad>0</ypad>
      </widget>

      <widget>
    <class>GtkVBox</class>
    <name>prefs_pager_vbox</name>
    <visible>False</visible>
    <homogeneous>False</homogeneous>
    <spacing>0</spacing>

    <widget>
      <class>GtkFrame</class>
      <name>frame3</name>
      <border_width>4</border_width>
      <label>Title text settings</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
        <padding>0</padding>
        <expand>True</expand>
        <fill>True</fill>
      </child>

      <widget>
        <class>GtkTable</class>
        <name>table3</name>
        <border_width>4</border_width>
        <rows>3</rows>
        <columns>2</columns>
        <homogeneous>False</homogeneous>
        <row_spacing>4</row_spacing>
        <column_spacing>4</column_spacing>

        <widget>
          <class>GnomeFontPicker</class>
          <name>prefs_title_font</name>
          <can_focus>True</can_focus>
          <title>Total text font</title>
          <preview_text>AaBbCcDdEeFfGgHhIiJjKkLlMmNnOoPpQqRrSsTtUuVvWwXxYyZz</preview_text>
          <mode>GNOME_FONT_PICKER_MODE_FONT_INFO</mode>
          <show_size>True</show_size>
          <use_font>False</use_font>
          <use_font_size>14</use_font_size>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeColorPicker</class>
          <name>prefs_title_text_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeColorPicker</class>
          <name>prefs_title_bg_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label15</name>
          <label>Background colour:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label14</name>
          <label>Text colour:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label13</name>
          <label>Font:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkFrame</class>
      <name>frame4</name>
      <border_width>4</border_width>
      <label>Body text settings</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
        <padding>0</padding>
        <expand>True</expand>
        <fill>True</fill>
      </child>

      <widget>
        <class>GtkTable</class>
        <name>table4</name>
        <border_width>4</border_width>
        <rows>4</rows>
        <columns>2</columns>
        <homogeneous>False</homogeneous>
        <row_spacing>4</row_spacing>
        <column_spacing>4</column_spacing>

        <widget>
          <class>GnomeFontPicker</class>
          <name>prefs_body_font</name>
          <can_focus>True</can_focus>
          <title>Body text font</title>
          <preview_text>AaBbCcDdEeFfGgHhIiJjKkLlMmNnOoPpQqRrSsTtUuVvWwXxYyZz</preview_text>
          <mode>GNOME_FONT_PICKER_MODE_FONT_INFO</mode>
          <show_size>True</show_size>
          <use_font>False</use_font>
          <use_font_size>14</use_font_size>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeFontPicker</class>
          <name>prefs_body_emphasis_font</name>
          <can_focus>True</can_focus>
          <title>Body text emphasis font</title>
          <preview_text>AaBbCcDdEeFfGgHhIiJjKkLlMmNnOoPpQqRrSsTtUuVvWwXxYyZz</preview_text>
          <mode>GNOME_FONT_PICKER_MODE_FONT_INFO</mode>
          <show_size>True</show_size>
          <use_font>False</use_font>
          <use_font_size>14</use_font_size>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeColorPicker</class>
          <name>prefs_body_text_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GnomeColorPicker</class>
          <name>prefs_body_bg_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>3</top_attach>
        <bottom_attach>4</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label19</name>
          <label>Background colour:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>3</top_attach>
        <bottom_attach>4</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label18</name>
          <label>Text colour:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label17</name>
          <label>Emphasis font:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>

        <widget>
          <class>GtkLabel</class>
          <name>label16</name>
          <label>Font:</label>
          <justify>GTK_JUSTIFY_CENTER</justify>
          <wrap>False</wrap>
          <xalign>1</xalign>
          <yalign>0.5</yalign>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
          </child>
        </widget>
      </widget>
    </widget>
      </widget>

      <widget>
    <class>GtkLabel</class>
    <child_name>Notebook:tab</child_name>
    <name>label4</name>
    <label>Pager</label>
    <justify>GTK_JUSTIFY_CENTER</justify>
    <wrap>False</wrap>
    <xalign>0.5</xalign>
    <yalign>0.5</yalign>
    <xpad>0</xpad>
    <ypad>0</ypad>
      </widget>

      <widget>
    <class>Placeholder</class>
      </widget>

      <widget>
    <class>GtkLabel</class>
    <child_name>Notebook:tab</child_name>
    <name>label5</name>
    <label>Applications</label>
    <justify>GTK_JUSTIFY_CENTER</justify>
    <wrap>False</wrap>
    <xalign>0.5</xalign>
    <yalign>0.5</yalign>
    <xpad>0</xpad>
    <ypad>0</ypad>
      </widget>

      <widget>
    <class>Placeholder</class>
      </widget>

      <widget>
    <class>GtkLabel</class>
    <child_name>Notebook:tab</child_name>
    <name>label6</name>
    <label>Graphics</label>
    <justify>GTK_JUSTIFY_CENTER</justify>
    <wrap>False</wrap>
    <xalign>0.5</xalign>
    <yalign>0.5</yalign>
    <xpad>0</xpad>
    <ypad>0</ypad>
      </widget>
    </widget>

    <widget>
      <class>GtkHButtonBox</class>
      <child_name>GnomeDialog:action_area</child_name>
      <name>dialog-action_area1</name>
      <layout_style>GTK_BUTTONBOX_END</layout_style>
      <spacing>8</spacing>
      <child_min_width>85</child_min_width>
      <child_min_height>27</child_min_height>
      <child_ipad_x>7</child_ipad_x>
      <child_ipad_y>0</child_ipad_y>
      <child>
    <padding>0</padding>
    <expand>False</expand>
    <fill>True</fill>
    <pack>GTK_PACK_END</pack>
      </child>

      <widget>
    <class>GtkButton</class>
    <name>button1</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_OK</stock_button>
      </widget>

      <widget>
    <class>GtkButton</class>
    <name>button2</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_APPLY</stock_button>
      </widget>

      <widget>
    <class>GtkButton</class>
    <name>button3</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_CANCEL</stock_button>
      </widget>
    </widget>
  </widget>
</widget>

<widget>
  <class>GnomeDialog</class>
  <name>grep_dialog</name>
  <title>grep</title>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>False</allow_grow>
  <auto_shrink>False</auto_shrink>
  <auto_close>False</auto_close>
  <hide_on_close>False</hide_on_close>

  <widget>
    <class>GtkVBox</class>
    <child_name>GnomeDialog:vbox</child_name>
    <name>dialog-vbox2</name>
    <homogeneous>False</homogeneous>
    <spacing>8</spacing>
    <child>
      <padding>4</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>

    <widget>
      <class>GtkFrame</class>
      <name>frame10</name>
      <label>grep</label>
      <label_xalign>0</label_xalign>
      <shadow_type>GTK_SHADOW_ETCHED_IN</shadow_type>
      <child>
    <padding>0</padding>
    <expand>True</expand>
    <fill>True</fill>
      </child>

      <widget>
    <class>GtkTable</class>
    <name>table5</name>
    <border_width>4</border_width>
    <rows>5</rows>
    <columns>2</columns>
    <homogeneous>False</homogeneous>
    <row_spacing>4</row_spacing>
    <column_spacing>4</column_spacing>

    <widget>
      <class>GtkLabel</class>
      <name>label21</name>
      <label>Pattern:</label>
      <justify>GTK_JUSTIFY_CENTER</justify>
      <wrap>False</wrap>
      <xalign>0.5</xalign>
      <yalign>0.5</yalign>
      <xpad>0</xpad>
      <ypad>0</ypad>
      <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkLabel</class>
      <name>label22</name>
      <label>Object:</label>
      <justify>GTK_JUSTIFY_CENTER</justify>
      <wrap>False</wrap>
      <xalign>0.5</xalign>
      <yalign>0.5</yalign>
      <xpad>0</xpad>
      <ypad>0</ypad>
      <child>
        <left_attach>0</left_attach>
        <right_attach>1</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>False</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkEntry</class>
      <name>grep_object_entry</name>
      <can_focus>True</can_focus>
      <editable>True</editable>
      <text_visible>True</text_visible>
      <text_max_length>0</text_max_length>
      <text></text>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>1</top_attach>
        <bottom_attach>2</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>True</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkEntry</class>
      <name>grep_pattern_entry</name>
      <can_focus>True</can_focus>
      <editable>True</editable>
      <text_visible>True</text_visible>
      <text_max_length>0</text_max_length>
      <text></text>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>0</top_attach>
        <bottom_attach>1</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>True</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkCheckButton</class>
      <name>grep_case_cb</name>
      <can_focus>True</can_focus>
      <label>Ignore case</label>
      <active>False</active>
      <draw_indicator>True</draw_indicator>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>2</top_attach>
        <bottom_attach>3</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkCheckButton</class>
      <name>grep_extended_cb</name>
      <can_focus>True</can_focus>
      <label>Extended regular expression</label>
      <active>True</active>
      <draw_indicator>True</draw_indicator>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>3</top_attach>
        <bottom_attach>4</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkCheckButton</class>
      <name>grep_value_cb</name>
      <can_focus>True</can_focus>
      <label>Return matching values</label>
      <active>False</active>
      <draw_indicator>True</draw_indicator>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>4</top_attach>
        <bottom_attach>5</bottom_attach>
        <xpad>0</xpad>
        <ypad>0</ypad>
        <xexpand>False</xexpand>
        <yexpand>False</yexpand>
        <xshrink>False</xshrink>
        <yshrink>False</yshrink>
        <xfill>True</xfill>
        <yfill>False</yfill>
      </child>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkHButtonBox</class>
      <child_name>GnomeDialog:action_area</child_name>
      <name>dialog-action_area2</name>
      <layout_style>GTK_BUTTONBOX_END</layout_style>
      <spacing>8</spacing>
      <child_min_width>85</child_min_width>
      <child_min_height>27</child_min_height>
      <child_ipad_x>7</child_ipad_x>
      <child_ipad_y>0</child_ipad_y>
      <child>
    <padding>0</padding>
    <expand>False</expand>
    <fill>True</fill>
    <pack>GTK_PACK_END</pack>
      </child>

      <widget>
    <class>GtkButton</class>
    <name>ok_button</name>
    <can_default>True</can_default>
    <has_default>True</has_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_OK</stock_button>
      </widget>

      <widget>
    <class>GtkButton</class>
    <name>cancel_button</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_CANCEL</stock_button>
      </widget>
    </widget>
  </widget>
</widget>

</GTK-Interface>