2006-07-05 16:39:58 +02:00
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
<glade-interface>
<widget class="GtkWindow" id="MainWindow">
2006-07-05 17:16:58 +02:00
<property name="width_request">300</property>
<property name="height_request">200</property>
2006-07-05 16:39:58 +02:00
<child>
<widget class="GtkVBox" id="MainBox">
<property name="visible">True</property>
<child>
<widget class="GtkMenuBar" id="MenuBar">
<property name="visible">True</property>
<child>
2006-07-05 17:16:58 +02:00
<widget class="GtkMenuItem" id="MenuItem.File">
2006-07-05 16:39:58 +02:00
<property name="visible">True</property>
<property name="label">_File</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="Menu.File">
<property name="visible">True</property>
<child>
2006-07-05 17:16:58 +02:00
<widget class="GtkImageMenuItem" id="MenuItem.File.Quit">
2006-07-05 16:39:58 +02:00
<property name="visible">True</property>
<property name="label">gtk-quit</property>
<property name="use_underline">True</property>
<property name="use_stock">True</property>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
2006-07-05 17:16:58 +02:00
<widget class="GtkMenuItem" id="MenuItem.Help">
2006-07-05 16:39:58 +02:00
<property name="visible">True</property>
<property name="label">_Help</property>
<property name="use_underline">True</property>
<child>
2006-07-05 17:16:58 +02:00
<widget class="GtkMenu" id="Menu.Help">
2006-07-05 16:39:58 +02:00
<property name="visible">True</property>
<child>
2006-07-05 17:16:58 +02:00
<widget class="GtkImageMenuItem" id="MenuItem.Help.About">
2006-07-05 16:39:58 +02:00
<property name="visible">True</property>
<property name="label">gtk-about</property>
<property name="use_underline">True</property>
<property name="use_stock">True</property>
</widget>
</child>
</widget>
</child>
</widget>
</child>
</widget>
<packing>
<property name="expand">False</property>
</packing>
</child>
<child>
<widget class="GtkToolbar" id="ToolBar">
<property name="visible">True</property>
<child>
<widget class="GtkToolButton" id="ToolBar.Open">
<property name="visible">True</property>
<property name="stock_id">gtk-open</property>
</widget>
</child>
<child>
<widget class="GtkToolButton" id="ToolBar.Save">
<property name="visible">True</property>
<property name="stock_id">gtk-save</property>
</widget>
</child>
<child>
<widget class="GtkSeparatorToolItem" id="ToolBar.Separator0">
<property name="visible">True</property>
</widget>
</child>
2006-07-05 17:16:58 +02:00
<child>
<widget class="GtkToolButton" id="ToolBar.Play">
<property name="visible">True</property>
<property name="sensitive">False</property>
<property name="stock_id">gtk-media-play</property>
</widget>
</child>
<child>
<widget class="GtkToolButton" id="ToolBar.Pause">
<property name="visible">True</property>
<property name="sensitive">False</property>
<property name="stock_id">gtk-media-pause</property>
</widget>
</child>
<child>
<widget class="GtkToolButton" id="ToolBar.Stop">
<property name="visible">True</property>
<property name="sensitive">False</property>
<property name="stock_id">gtk-media-stop</property>
</widget>
</child>
2006-07-05 16:39:58 +02:00
</widget>
<packing>
<property name="expand">False</property>
<property name="position">1</property>
</packing>
</child>
<child>
2006-07-06 11:49:35 +02:00
<widget class="GtkHPaned" id="HorizontalPaned">
<property name="visible">True</property>
<child>
<placeholder/>
</child>
</widget>
<packing>
<property name="position">2</property>
</packing>
2006-07-05 16:39:58 +02:00
</child>
<child>
<widget class="GtkStatusbar" id="statusbar1">
<property name="visible">True</property>
</widget>
<packing>
<property name="expand">False</property>
<property name="pack_type">GTK_PACK_END</property>
<property name="position">3</property>
</packing>
</child>
</widget>
</child>
</widget>
2006-07-05 17:16:58 +02:00
<widget class="GtkAboutDialog" id="AboutDialog">
<property name="title">SGPEMv2</property>
<property name="version">0.3</property>
<property name="copyright">University of Padova, dept. of Pure and Applied Mathematics</property>
<property name="license">SGPEMv2 comes with ABSOLUTELY NO WARRANTY. This is free software, and you are welcome to redistribute it under the terms of the GNU General Public License; for details see file COPYING contained in the source package.</property>
<property name="authors">Giovanni Giacobbi <ggiacobb@studenti.math.unipd.it>
Filippo Paparella <ironpipp@gmail.com>
Paolo Santi <psanti@studenti.math.unipd.it>
Matteo Settenvini <matteo@member.fsf.org>
Marco Trevisan <mtrevisa@studenti.math.unipd.it>
Djina Verbanac <betalgez@yahoo.com>
Luca Vezzaro <lvezzaro@studenti.math.unipd.it></property>
<property name="documenters"></property>
<property name="wrap_license">True</property>
<child internal-child="vbox">
<widget class="GtkVBox" id="dialog-vbox1">
<property name="visible">True</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK</property>
<property name="border_width">12</property>
<property name="spacing">12</property>
<child>
<placeholder/>
</child>
<child internal-child="action_area">
<widget class="GtkHButtonBox" id="dialog-action_area1">
<property name="visible">True</property>
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_ENTER_NOTIFY_MASK</property>
<property name="spacing">6</property>
<property name="layout_style">GTK_BUTTONBOX_END</property>
</widget>
<packing>
<property name="expand">False</property>
<property name="pack_type">GTK_PACK_END</property>
</packing>
</child>
</widget>
</child>
</widget>
2006-07-05 16:39:58 +02:00
</glade-interface>