The R Project SVN R

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

<project>
  <name>R</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>GnomePropertyBox</class>
  <name>prefs_propertybox</name>
  <visible>False</visible>

  <widget>
    <class>GtkNotebook</class>
    <child_name>GnomePropertyBox:notebook</child_name>
    <name>notebook2</name>
    <can_focus>True</can_focus>
    <show_tabs>True</show_tabs>
    <show_border>True</show_border>
    <tab_pos>GTK_POS_TOP</tab_pos>
    <scrollable>True</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>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>

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

    <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>GtkCheckButton</class>
      <name>console_syntax_checkbutton</name>
      <visible>False</visible>
      <can_focus>True</can_focus>
      <label>Color syntax highlighting</label>
      <active>False</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>console_color_checkbutton</name>
      <can_focus>True</can_focus>
      <label>Color user input</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>GtkLabel</class>
      <name>label8</name>
      <label>Text color:</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>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>
      <class>GtkLabel</class>
      <name>label29</name>
      <label>User input color:</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>5</top_attach>
        <bottom_attach>6</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>label30</name>
      <visible>False</visible>
      <label>Syntax highlight color:</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>6</top_attach>
        <bottom_attach>7</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 color:</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>7</top_attach>
        <bottom_attach>8</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>console_bold_checkbutton</name>
      <can_focus>True</can_focus>
      <label>Bold typeface for user input</label>
      <active>False</active>
      <draw_indicator>True</draw_indicator>
      <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>True</xfill>
        <yfill>False</yfill>
      </child>
    </widget>

    <widget>
      <class>GtkHBox</class>
      <name>hbox4</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>5</top_attach>
        <bottom_attach>6</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>
        <class>GnomeColorPicker</class>
        <name>console_input_color</name>
        <can_focus>True</can_focus>
        <dither>True</dither>
        <use_alpha>False</use_alpha>
        <title>Pick a color</title>
        <child>
          <padding>0</padding>
          <expand>False</expand>
          <fill>False</fill>
        </child>
      </widget>
    </widget>

    <widget>
      <class>GtkHBox</class>
      <name>hbox5</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>6</top_attach>
        <bottom_attach>7</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>
        <class>GnomeColorPicker</class>
        <name>console_syntax_color</name>
        <visible>False</visible>
        <can_focus>True</can_focus>
        <dither>True</dither>
        <use_alpha>False</use_alpha>
        <title>Pick a color</title>
        <child>
          <padding>0</padding>
          <expand>False</expand>
          <fill>False</fill>
        </child>
      </widget>
    </widget>

    <widget>
      <class>GtkHBox</class>
      <name>hbox6</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>
      <child>
        <left_attach>1</left_attach>
        <right_attach>2</right_attach>
        <top_attach>7</top_attach>
        <bottom_attach>8</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>
        <class>GnomeColorPicker</class>
        <name>console_bg_color</name>
        <can_focus>True</can_focus>
        <dither>True</dither>
        <use_alpha>False</use_alpha>
        <title>Pick a color</title>
        <child>
          <padding>0</padding>
          <expand>False</expand>
          <fill>False</fill>
        </child>
      </widget>
    </widget>

    <widget>
      <class>GtkHBox</class>
      <name>hbox2</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>
      <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>True</xfill>
        <yfill>False</yfill>
      </child>

      <widget>
        <class>GnomeFontPicker</class>
        <name>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>
          <padding>0</padding>
          <expand>False</expand>
          <fill>False</fill>
        </child>
      </widget>
    </widget>

    <widget>
      <class>GtkHBox</class>
      <name>hbox13</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>
      <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>
        <class>GnomeColorPicker</class>
        <name>console_text_color</name>
        <can_focus>True</can_focus>
        <dither>True</dither>
        <use_alpha>False</use_alpha>
        <title>Pick a color</title>
        <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>label23</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_pager_vbox</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>

      <widget>
    <class>GtkFrame</class>
    <name>frame4</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>table4</name>
      <border_width>4</border_width>
      <rows>6</rows>
      <columns>2</columns>
      <homogeneous>False</homogeneous>
      <row_spacing>4</row_spacing>
      <column_spacing>4</column_spacing>

      <widget>
        <class>GtkLabel</class>
        <name>label13</name>
        <label>Title 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>label16</name>
        <label>Text 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>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>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>GtkHBox</class>
        <name>hbox10</name>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>
        <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>
          <class>GnomeFontPicker</class>
          <name>pager_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>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>

      <widget>
        <class>GtkHBox</class>
        <name>hbox9</name>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>
        <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>True</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>False</yfill>
        </child>

        <widget>
          <class>GnomeFontPicker</class>
          <name>pager_text_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>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>

      <widget>
        <class>GtkHBox</class>
        <name>hbox7</name>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>
        <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>True</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>False</yfill>
        </child>

        <widget>
          <class>GnomeFontPicker</class>
          <name>pager_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>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>

      <widget>
        <class>GtkHBox</class>
        <name>hbox12</name>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>
        <child>
          <left_attach>1</left_attach>
          <right_attach>2</right_attach>
          <top_attach>5</top_attach>
          <bottom_attach>6</bottom_attach>
          <xpad>0</xpad>
          <ypad>0</ypad>
          <xexpand>False</xexpand>
          <yexpand>True</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>True</yfill>
        </child>

        <widget>
          <class>GnomeColorPicker</class>
          <name>pager_bg_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>

      <widget>
        <class>GtkHBox</class>
        <name>hbox11</name>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>
        <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>True</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>True</yfill>
        </child>

        <widget>
          <class>GnomeColorPicker</class>
          <name>pager_text_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>

      <widget>
        <class>GtkHBox</class>
        <name>hbox8</name>
        <homogeneous>False</homogeneous>
        <spacing>0</spacing>
        <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>True</yexpand>
          <xshrink>False</xshrink>
          <yshrink>False</yshrink>
          <xfill>True</xfill>
          <yfill>True</yfill>
        </child>

        <widget>
          <class>GnomeColorPicker</class>
          <name>pager_title_color</name>
          <can_focus>True</can_focus>
          <dither>True</dither>
          <use_alpha>False</use_alpha>
          <title>Pick a color</title>
          <child>
        <padding>0</padding>
        <expand>False</expand>
        <fill>False</fill>
          </child>
        </widget>
      </widget>

      <widget>
        <class>GtkLabel</class>
        <name>label14</name>
        <label>Title 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>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>
        <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>5</top_attach>
          <bottom_attach>6</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>label24</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>GtkVBox</class>
      <name>prefs_startup_vbox</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>

      <widget>
    <class>GtkFrame</class>
    <name>frame9</name>
    <border_width>4</border_width>
    <label>Restore workspace on startup</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>startup_always_restore_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>startup_never_restore_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>frame10</name>
    <border_width>4</border_width>
    <label>Readline</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>vbox7</name>
      <border_width>4</border_width>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>

      <widget>
        <class>GtkCheckButton</class>
        <name>startup_readline_checkbutton</name>
        <can_focus>True</can_focus>
        <label>Use readline if it is available</label>
        <active>False</active>
        <draw_indicator>True</draw_indicator>
        <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>label25</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>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>

      <widget>
    <class>GtkFrame</class>
    <name>frame8</name>
    <border_width>4</border_width>
    <label>Save workspace on exit</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>exit_prompt_save_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>exit_always_save_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>exit_never_save_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>label26</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>
</widget>

<widget>
  <class>GnomeApp</class>
  <name>main_window</name>
  <visible>False</visible>
  <signal>
    <name>delete_event</name>
    <handler>on_main_window_delete_event</handler>
    <last_modification_time>Mon, 13 Dec 1999 06:26:21 GMT</last_modification_time>
  </signal>
  <title>R</title>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>True</allow_grow>
  <auto_shrink>False</auto_shrink>
  <enable_layout_config>True</enable_layout_config>

  <widget>
    <class>GnomeDock</class>
    <child_name>GnomeApp:dock</child_name>
    <name>dock1</name>
    <allow_floating>True</allow_floating>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>

    <widget>
      <class>GnomeDockItem</class>
      <name>dockitem1</name>
      <border_width>2</border_width>
      <placement>GNOME_DOCK_TOP</placement>
      <band>0</band>
      <position>0</position>
      <offset>0</offset>
      <locked>False</locked>
      <exclusive>True</exclusive>
      <never_floating>False</never_floating>
      <never_vertical>True</never_vertical>
      <never_horizontal>False</never_horizontal>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>

      <widget>
    <class>GtkMenuBar</class>
    <name>menubar1</name>
    <shadow_type>GTK_SHADOW_NONE</shadow_type>

    <widget>
      <class>GtkMenuItem</class>
      <name>file1</name>
      <stock_item>GNOMEUIINFO_MENU_FILE_TREE</stock_item>

      <widget>
        <class>GtkMenu</class>
        <name>file1_menu</name>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>open1</name>
          <signal>
        <name>activate</name>
        <handler>on_open1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 02:43:41 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_OPEN_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>save1</name>
          <signal>
        <name>activate</name>
        <handler>on_save1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 02:43:41 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_SAVE_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>save_as1</name>
          <signal>
        <name>activate</name>
        <handler>on_save_as1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 02:43:41 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_SAVE_AS_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>separator1</name>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>exit1</name>
          <signal>
        <name>activate</name>
        <handler>on_exit1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 02:43:41 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_EXIT_ITEM</stock_item>
        </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkMenuItem</class>
      <name>commands1</name>
      <signal>
        <name>activate</name>
        <handler>on_commands1_activate</handler>
      </signal>
      <label>_Commands</label>
      <right_justify>False</right_justify>
    </widget>

    <widget>
      <class>GtkMenuItem</class>
      <name>settings1</name>
      <stock_item>GNOMEUIINFO_MENU_SETTINGS_TREE</stock_item>

      <widget>
        <class>GtkMenu</class>
        <name>settings1_menu</name>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>preferences1</name>
          <signal>
        <name>activate</name>
        <handler>on_preferences1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 02:43:41 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_PREFERENCES_ITEM</stock_item>
        </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkMenuItem</class>
      <name>help1</name>
      <stock_item>GNOMEUIINFO_MENU_HELP_TREE</stock_item>

      <widget>
        <class>GtkMenu</class>
        <name>help1_menu</name>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>html_index1</name>
          <signal>
        <name>activate</name>
        <handler>on_html_index1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 03:28:02 GMT</last_modification_time>
          </signal>
          <label>HTML _Index</label>
          <right_justify>False</right_justify>
          <stock_icon>GNOME_STOCK_MENU_INDEX</stock_icon>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>text_index1</name>
          <signal>
        <name>activate</name>
        <handler>on_text_index1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 03:28:20 GMT</last_modification_time>
          </signal>
          <label>_Text Index</label>
          <right_justify>False</right_justify>
          <stock_icon>GNOME_STOCK_MENU_ALIGN_JUSTIFY</stock_icon>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>separator3</name>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>r_project_web_site1</name>
          <signal>
        <name>activate</name>
        <handler>on_r_project_web_site1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 03:33:28 GMT</last_modification_time>
          </signal>
          <label>_R project web site</label>
          <right_justify>False</right_justify>
          <stock_icon>GNOME_STOCK_MENU_HOME</stock_icon>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>separator4</name>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>licence1</name>
          <signal>
        <name>activate</name>
        <handler>on_licence1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 03:28:31 GMT</last_modification_time>
          </signal>
          <label>_Licence</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>contributors1</name>
          <signal>
        <name>activate</name>
        <handler>on_contributors1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 03:28:37 GMT</last_modification_time>
          </signal>
          <label>_Contributors</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>demos1</name>
          <label>_Demos</label>
          <right_justify>False</right_justify>

          <widget>
        <class>GtkMenu</class>
        <name>demos1_menu</name>

        <widget>
          <class>GtkMenuItem</class>
          <name>demos_index1</name>
          <signal>
            <name>activate</name>
            <handler>on_demos_index1_activate</handler>
            <last_modification_time>Mon, 06 Dec 1999 04:21:50 GMT</last_modification_time>
          </signal>
          <label>_Index</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>separator5</name>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>graphics1</name>
          <signal>
            <name>activate</name>
            <handler>on_graphics1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:28 GMT</last_modification_time>
          </signal>
          <label>_graphics</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>image1</name>
          <signal>
            <name>activate</name>
            <handler>on_image1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:32 GMT</last_modification_time>
          </signal>
          <label>_image</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>lmglm1</name>
          <signal>
            <name>activate</name>
            <handler>on_lmglm1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:34 GMT</last_modification_time>
          </signal>
          <label>_lm.glm</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>glmvr1</name>
          <signal>
            <name>activate</name>
            <handler>on_glmvr1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:37 GMT</last_modification_time>
          </signal>
          <label>glm._vr</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>nlm1</name>
          <signal>
            <name>activate</name>
            <handler>on_nlm1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:49 GMT</last_modification_time>
          </signal>
          <label>_nlm</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>recursion1</name>
          <signal>
            <name>activate</name>
            <handler>on_recursion1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:51 GMT</last_modification_time>
          </signal>
          <label>_recursion</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>scoping1</name>
          <signal>
            <name>activate</name>
            <handler>on_scoping1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:54 GMT</last_modification_time>
          </signal>
          <label>_scoping</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>isthings1</name>
          <signal>
            <name>activate</name>
            <handler>on_isthings1_activate</handler>
            <last_modification_time>Tue, 30 Nov 1999 03:29:57 GMT</last_modification_time>
          </signal>
          <label>is._things</label>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>dynload1</name>
          <signal>
            <name>activate</name>
            <handler>on_dynload1_activate</handler>
            <last_modification_time>Sun, 12 Dec 1999 20:32:14 GMT</last_modification_time>
          </signal>
          <label>dyn.load</label>
          <right_justify>False</right_justify>
        </widget>
          </widget>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>separator6</name>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>about1</name>
          <signal>
        <name>activate</name>
        <handler>on_about1_activate</handler>
        <last_modification_time>Tue, 30 Nov 1999 02:43:41 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_ABOUT_ITEM</stock_item>
        </widget>
      </widget>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GnomeDockItem</class>
      <name>dockitem2</name>
      <border_width>1</border_width>
      <placement>GNOME_DOCK_TOP</placement>
      <band>1</band>
      <position>0</position>
      <offset>0</offset>
      <locked>False</locked>
      <exclusive>True</exclusive>
      <never_floating>False</never_floating>
      <never_vertical>False</never_vertical>
      <never_horizontal>False</never_horizontal>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>

      <widget>
    <class>GtkToolbar</class>
    <name>toolbar1</name>
    <border_width>1</border_width>
    <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
    <type>GTK_TOOLBAR_BOTH</type>
    <space_size>16</space_size>
    <space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
    <relief>GTK_RELIEF_NONE</relief>
    <tooltips>True</tooltips>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>open_button</name>
      <tooltip>New File</tooltip>
      <label>Open</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_OPEN</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>save_button</name>
      <tooltip>New File</tooltip>
      <label>Save</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_SAVE</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>interrupt_button</name>
      <tooltip>Save File</tooltip>
      <label>Interrupt</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_STOP</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkHBox</class>
      <child_name>GnomeDock:contents</child_name>
      <name>hbox1</name>
      <homogeneous>False</homogeneous>
      <spacing>0</spacing>

      <widget>
    <class>Custom</class>
    <name>terminal</name>
    <can_focus>True</can_focus>
    <creation_function>r_gnome_create_terminal</creation_function>
    <int1>0</int1>
    <int2>0</int2>
    <last_modification_time>Mon, 06 Dec 1999 01:23:12 GMT</last_modification_time>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>
      </widget>

      <widget>
    <class>GtkVScrollbar</class>
    <name>terminal_vscrollbar</name>
    <policy>GTK_UPDATE_CONTINUOUS</policy>
    <value>0</value>
    <lower>0</lower>
    <upper>0</upper>
    <step>0</step>
    <page>0</page>
    <page_size>0</page_size>
    <child>
      <padding>0</padding>
      <expand>False</expand>
      <fill>True</fill>
    </child>
      </widget>
    </widget>
  </widget>

  <widget>
    <class>GnomeAppBar</class>
    <child_name>GnomeApp:appbar</child_name>
    <name>appbar1</name>
    <has_progress>True</has_progress>
    <has_status>True</has_status>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>
  </widget>
</widget>

<widget>
  <class>GnomeApp</class>
  <name>showfiles_window</name>
  <visible>False</visible>
  <title>R Information</title>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>True</allow_grow>
  <auto_shrink>False</auto_shrink>
  <enable_layout_config>True</enable_layout_config>

  <widget>
    <class>GnomeDock</class>
    <child_name>GnomeApp:dock</child_name>
    <name>dock2</name>
    <allow_floating>True</allow_floating>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>

    <widget>
      <class>GnomeDockItem</class>
      <name>dockitem4</name>
      <border_width>1</border_width>
      <placement>GNOME_DOCK_TOP</placement>
      <band>0</band>
      <position>0</position>
      <offset>0</offset>
      <locked>False</locked>
      <exclusive>True</exclusive>
      <never_floating>False</never_floating>
      <never_vertical>False</never_vertical>
      <never_horizontal>False</never_horizontal>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>

      <widget>
    <class>GtkToolbar</class>
    <name>toolbar2</name>
    <border_width>1</border_width>
    <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
    <type>GTK_TOOLBAR_BOTH</type>
    <space_size>16</space_size>
    <space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
    <relief>GTK_RELIEF_NONE</relief>
    <tooltips>True</tooltips>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>print_button</name>
      <tooltip>New File</tooltip>
      <label>Print</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_PRINT</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>copy_button</name>
      <tooltip>New File</tooltip>
      <label>Copy</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_COPY</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>top_button</name>
      <tooltip>New File</tooltip>
      <label>Top</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_TOP</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>page_up_button</name>
      <tooltip>New File</tooltip>
      <label>Page up</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_UP</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>page_down_button</name>
      <tooltip>New File</tooltip>
      <label>Page down</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_DOWN</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>bottom_button</name>
      <tooltip>New File</tooltip>
      <label>Bottom</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_BOTTOM</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>close_button</name>
      <tooltip>New File</tooltip>
      <label>Close</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_CLOSE</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkScrolledWindow</class>
      <child_name>GnomeDock:contents</child_name>
      <name>scrolledwindow1</name>
      <hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
      <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
      <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
      <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>

      <widget>
    <class>GtkText</class>
    <name>showfiles_text</name>
    <can_focus>True</can_focus>
    <has_focus>True</has_focus>
    <editable>False</editable>
    <text></text>
      </widget>
    </widget>
  </widget>
</widget>

<widget>
  <class>GnomeAbout</class>
  <name>about_dialog</name>
  <visible>False</visible>
  <modal>True</modal>
  <copyright>Copyright (C) 1999 by the R Core Team</copyright>
  <authors>Douglas Bates
Peter Dalgaard
Robert Gentleman
Kurt Hornik
Ross Ihaka
Friedrich Leisch
Thomas Lumley
Martin Maechler
Guido Masarotto
Paul Murrell
Brian Ripley
Heiner Schwarte
Duncan Temple Lang
Luke Tierney
Lyndon Drake, GNOME interface
</authors>
  <comments>R is a system for statistical computation and graphics.  It is a dialect of the S programming language from Bell Labs.  R is free software and comes with ABSOLUTELY NO WARRANTY.  You are welcome to redistribute it under certain conditions.  Type   ?licence for distribution details.  R is a collaborative project with many contributors.  Type ?contributors for a list.</comments>
</widget>

<widget>
  <class>GnomeMessageBox</class>
  <name>quit_messagebox</name>
  <visible>False</visible>
  <message_box_type>GNOME_MESSAGE_BOX_QUESTION</message_box_type>
  <message>Do you want to save the workspace image?
Select &quot;Yes&quot; to save and exit, &quot;No&quot; to exit
without saving, or &quot;Cancel&quot; to return to R.</message>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>True</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>False</allow_grow>
  <auto_shrink>False</auto_shrink>
  <auto_close>True</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>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>button16</name>
    <can_default>True</can_default>
    <has_default>True</has_default>
    <can_focus>True</can_focus>
    <has_focus>True</has_focus>
    <stock_button>GNOME_STOCK_BUTTON_YES</stock_button>
      </widget>

      <widget>
    <class>GtkButton</class>
    <name>button17</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_NO</stock_button>
      </widget>

      <widget>
    <class>GtkButton</class>
    <name>button18</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>GnomeApp</class>
  <name>graphics_window</name>
  <visible>False</visible>
  <title>R Graphics</title>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>True</allow_grow>
  <auto_shrink>False</auto_shrink>
  <enable_layout_config>True</enable_layout_config>

  <widget>
    <class>GnomeDock</class>
    <child_name>GnomeApp:dock</child_name>
    <name>dock3</name>
    <allow_floating>True</allow_floating>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>

    <widget>
      <class>GnomeDockItem</class>
      <name>dockitem7</name>
      <border_width>1</border_width>
      <placement>GNOME_DOCK_TOP</placement>
      <band>0</band>
      <position>0</position>
      <offset>0</offset>
      <locked>False</locked>
      <exclusive>True</exclusive>
      <never_floating>False</never_floating>
      <never_vertical>False</never_vertical>
      <never_horizontal>False</never_horizontal>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>

      <widget>
    <class>GtkToolbar</class>
    <name>toolbar3</name>
    <border_width>1</border_width>
    <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
    <type>GTK_TOOLBAR_BOTH</type>
    <space_size>16</space_size>
    <space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
    <relief>GTK_RELIEF_NONE</relief>
    <tooltips>True</tooltips>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>graphics_activate_button</name>
      <tooltip>New File</tooltip>
      <label>Activate</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_COLORSELECTOR</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>graphics_print_button</name>
      <tooltip>Open File</tooltip>
      <label>Print</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_PRINT</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>graphics_close_button</name>
      <tooltip>Save File</tooltip>
      <label>Close</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_CLOSE</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkDrawingArea</class>
      <child_name>GnomeDock:contents</child_name>
      <name>graphics_drawingarea</name>
    </widget>
  </widget>
</widget>

<widget>
  <class>GnomeMessageBox</class>
  <name>not_impl_messagebox</name>
  <visible>False</visible>
  <message_box_type>GNOME_MESSAGE_BOX_INFO</message_box_type>
  <message>This function is not yet implemented.</message>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>True</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>False</allow_grow>
  <auto_shrink>False</auto_shrink>
  <auto_close>True</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>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>button27</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <stock_button>GNOME_STOCK_BUTTON_OK</stock_button>
      </widget>
    </widget>
  </widget>
</widget>

<widget>
  <class>GtkFileSelection</class>
  <name>choose_file_fileselection</name>
  <border_width>10</border_width>
  <visible>False</visible>
  <title>Select File</title>
  <type>GTK_WINDOW_DIALOG</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>True</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>True</allow_grow>
  <auto_shrink>False</auto_shrink>
  <show_file_op_buttons>True</show_file_op_buttons>

  <widget>
    <class>GtkButton</class>
    <child_name>FileSel:ok_button</child_name>
    <name>ok_button1</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <label>OK</label>
  </widget>

  <widget>
    <class>GtkButton</class>
    <child_name>FileSel:cancel_button</child_name>
    <name>cancel_button1</name>
    <can_default>True</can_default>
    <can_focus>True</can_focus>
    <label>Cancel</label>
  </widget>
</widget>

<widget>
  <class>GnomeApp</class>
  <name>editor_window</name>
  <visible>False</visible>
  <title>R Editor</title>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <allow_shrink>False</allow_shrink>
  <allow_grow>True</allow_grow>
  <auto_shrink>False</auto_shrink>
  <enable_layout_config>True</enable_layout_config>

  <widget>
    <class>GnomeDock</class>
    <child_name>GnomeApp:dock</child_name>
    <name>dock4</name>
    <allow_floating>True</allow_floating>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>

    <widget>
      <class>GnomeDockItem</class>
      <name>dockitem8</name>
      <border_width>2</border_width>
      <placement>GNOME_DOCK_TOP</placement>
      <band>0</band>
      <position>0</position>
      <offset>0</offset>
      <locked>False</locked>
      <exclusive>True</exclusive>
      <never_floating>False</never_floating>
      <never_vertical>True</never_vertical>
      <never_horizontal>False</never_horizontal>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>

      <widget>
    <class>GtkMenuBar</class>
    <name>menubar2</name>
    <shadow_type>GTK_SHADOW_NONE</shadow_type>

    <widget>
      <class>GtkMenuItem</class>
      <name>file2</name>
      <stock_item>GNOMEUIINFO_MENU_FILE_TREE</stock_item>

      <widget>
        <class>GtkMenu</class>
        <name>file2_menu</name>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>compile1</name>
          <signal>
        <name>activate</name>
        <handler>on_compile1_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <label>Compile</label>
          <right_justify>False</right_justify>
          <stock_icon>GNOME_STOCK_MENU_EXEC</stock_icon>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>save_as2</name>
          <signal>
        <name>activate</name>
        <handler>on_save_as2_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_SAVE_AS_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkMenuItem</class>
          <name>separator7</name>
          <right_justify>False</right_justify>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>close1</name>
          <signal>
        <name>activate</name>
        <handler>on_close1_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_CLOSE_ITEM</stock_item>
        </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkMenuItem</class>
      <name>edit2</name>
      <stock_item>GNOMEUIINFO_MENU_EDIT_TREE</stock_item>

      <widget>
        <class>GtkMenu</class>
        <name>edit2_menu</name>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>cut1</name>
          <signal>
        <name>activate</name>
        <handler>on_cut1_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_CUT_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>copy2</name>
          <signal>
        <name>activate</name>
        <handler>on_copy2_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_COPY_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>paste2</name>
          <signal>
        <name>activate</name>
        <handler>on_paste2_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_PASTE_ITEM</stock_item>
        </widget>

        <widget>
          <class>GtkPixmapMenuItem</class>
          <name>clear1</name>
          <signal>
        <name>activate</name>
        <handler>on_clear1_activate</handler>
        <last_modification_time>Mon, 13 Dec 1999 23:20:35 GMT</last_modification_time>
          </signal>
          <stock_item>GNOMEUIINFO_MENU_CLEAR_ITEM</stock_item>
        </widget>
      </widget>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GnomeDockItem</class>
      <name>dockitem9</name>
      <border_width>1</border_width>
      <placement>GNOME_DOCK_TOP</placement>
      <band>1</band>
      <position>0</position>
      <offset>0</offset>
      <locked>False</locked>
      <exclusive>True</exclusive>
      <never_floating>False</never_floating>
      <never_vertical>False</never_vertical>
      <never_horizontal>False</never_horizontal>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>

      <widget>
    <class>GtkToolbar</class>
    <name>toolbar4</name>
    <border_width>1</border_width>
    <orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
    <type>GTK_TOOLBAR_BOTH</type>
    <space_size>16</space_size>
    <space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
    <relief>GTK_RELIEF_NONE</relief>
    <tooltips>True</tooltips>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>compile_button</name>
      <tooltip>New File</tooltip>
      <label>Compile</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_EXEC</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>print_button</name>
      <label>Print</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_PRINT</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>cut_button</name>
      <tooltip>Open File</tooltip>
      <label>Cut</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_CUT</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>copy_button</name>
      <tooltip>Save File</tooltip>
      <label>Copy</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_COPY</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>paste_button</name>
      <label>Paste</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_PASTE</stock_pixmap>
    </widget>

    <widget>
      <class>GtkButton</class>
      <child_name>Toolbar:button</child_name>
      <name>close_button</name>
      <label>Close</label>
      <stock_pixmap>GNOME_STOCK_PIXMAP_CLOSE</stock_pixmap>
      <child>
        <new_group>True</new_group>
      </child>
    </widget>
      </widget>
    </widget>

    <widget>
      <class>GtkScrolledWindow</class>
      <child_name>GnomeDock:contents</child_name>
      <name>scrolledwindow2</name>
      <hscrollbar_policy>GTK_POLICY_NEVER</hscrollbar_policy>
      <vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
      <hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
      <vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>

      <widget>
    <class>GtkText</class>
    <name>text1</name>
    <can_focus>True</can_focus>
    <editable>False</editable>
    <text></text>
      </widget>
    </widget>
  </widget>

  <widget>
    <class>GnomeAppBar</class>
    <child_name>GnomeApp:appbar</child_name>
    <name>appbar2</name>
    <has_progress>True</has_progress>
    <has_status>True</has_status>
    <child>
      <padding>0</padding>
      <expand>True</expand>
      <fill>True</fill>
    </child>
  </widget>
</widget>

</GTK-Interface>