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

<project>
  <name>Rep-ui</name>
  <program_name>rep-ui</program_name>
  <directory></directory>
  <source_directory></source_directory>
  <pixmaps_directory>pixmaps</pixmaps_directory>
  <language>C</language>
  <gnome_support>False</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>GtkWindow</class>
  <name>REP</name>
  <signal>
    <name>delete_event</name>
    <handler>window-closed</handler>
    <last_modification_time>Fri, 17 Dec 1999 23:57:34 GMT</last_modification_time>
  </signal>
  <title>REP</title>
  <type>GTK_WINDOW_TOPLEVEL</type>
  <position>GTK_WIN_POS_NONE</position>
  <modal>False</modal>
  <default_width>400</default_width>
  <default_height>300</default_height>
  <allow_shrink>False</allow_shrink>
  <allow_grow>True</allow_grow>
  <auto_shrink>False</auto_shrink>

  <widget>
    <class>GtkVBox</class>
    <name>vbox1</name>
    <homogeneous>False</homogeneous>
    <spacing>0</spacing>

    <widget>
      <class>GtkMenuBar</class>
      <name>menubar1</name>
      <shadow_type>GTK_SHADOW_OUT</shadow_type>
      <child>
	<padding>0</padding>
	<expand>False</expand>
	<fill>False</fill>
      </child>

      <widget>
	<class>GtkMenuItem</class>
	<name>menu-file</name>
	<label>_File</label>
	<right_justify>False</right_justify>

	<widget>
	  <class>GtkMenu</class>
	  <name>menu-file_menu</name>

	  <widget>
	    <class>GtkMenuItem</class>
	    <name>menu-file-new</name>
	    <signal>
	      <name>activate</name>
	      <handler>on_menu-file-new_activate</handler>
	      <last_modification_time>Fri, 17 Dec 1999 23:53:07 GMT</last_modification_time>
	    </signal>
	    <label>_New</label>
	    <right_justify>False</right_justify>
	  </widget>

	  <widget>
	    <class>GtkMenuItem</class>
	    <name>menu-file-close</name>
	    <signal>
	      <name>activate</name>
	      <handler>window-closed</handler>
	      <last_modification_time>Sat, 18 Dec 1999 00:25:26 GMT</last_modification_time>
	    </signal>
	    <label>_Close</label>
	    <right_justify>False</right_justify>
	  </widget>

	  <widget>
	    <class>GtkMenuItem</class>
	    <name>menu-file-exit</name>
	    <signal>
	      <name>activate</name>
	      <handler>window-closed</handler>
	      <last_modification_time>Sat, 18 Dec 1999 00:25:40 GMT</last_modification_time>
	    </signal>
	    <label>_Exit</label>
	    <right_justify>False</right_justify>
	  </widget>
	</widget>
      </widget>

      <widget>
	<class>GtkMenuItem</class>
	<name>menu-help</name>
	<label>_Help</label>
	<right_justify>False</right_justify>

	<widget>
	  <class>GtkMenu</class>
	  <name>menu-help_menu</name>

	  <widget>
	    <class>GtkMenuItem</class>
	    <name>menu-help-about</name>
	    <signal>
	      <name>activate</name>
	      <handler>on_menu-help-about_activate</handler>
	      <last_modification_time>Fri, 17 Dec 1999 23:53:34 GMT</last_modification_time>
	    </signal>
	    <label>_About</label>
	    <right_justify>False</right_justify>
	  </widget>
	</widget>
      </widget>
    </widget>

    <widget>
      <class>GtkScrolledWindow</class>
      <name>scrolledwindow1</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>
      <child>
	<padding>0</padding>
	<expand>True</expand>
	<fill>True</fill>
      </child>

      <widget>
	<class>GtkText</class>
	<name>text1</name>
	<width>400</width>
	<height>200</height>
	<tooltip>Evaluation history</tooltip>
	<can_focus>True</can_focus>
	<editable>False</editable>
	<text></text>
      </widget>
    </widget>

    <widget>
      <class>GtkEntry</class>
      <name>entry1</name>
      <tooltip>Form entry</tooltip>
      <can_focus>True</can_focus>
      <signal>
	<name>key_press_event</name>
	<handler>entry-key-press</handler>
	<last_modification_time>Sat, 18 Dec 1999 00:02:59 GMT</last_modification_time>
      </signal>
      <editable>True</editable>
      <text_visible>True</text_visible>
      <text_max_length>0</text_max_length>
      <text></text>
      <child>
	<padding>0</padding>
	<expand>False</expand>
	<fill>False</fill>
      </child>
    </widget>
  </widget>
</widget>

</GTK-Interface>
