171 lines
7.3 KiB
XML
171 lines
7.3 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<!DOCTYPE glade-interface SYSTEM "glade-2.0.dtd">
|
|
<glade-interface>
|
|
<widget class="GtkWindow" id="MainWindow">
|
|
<property name="width_request">300</property>
|
|
<property name="height_request">200</property>
|
|
<child>
|
|
<widget class="GtkVBox" id="MainBox">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkMenuBar" id="MenuBar">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkMenuItem" id="MenuItem.File">
|
|
<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>
|
|
<widget class="GtkImageMenuItem" id="MenuItem.File.Quit">
|
|
<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>
|
|
<widget class="GtkMenuItem" id="MenuItem.Help">
|
|
<property name="visible">True</property>
|
|
<property name="label">_Help</property>
|
|
<property name="use_underline">True</property>
|
|
<child>
|
|
<widget class="GtkMenu" id="Menu.Help">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<widget class="GtkImageMenuItem" id="MenuItem.Help.About">
|
|
<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>
|
|
<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>
|
|
</widget>
|
|
<packing>
|
|
<property name="expand">False</property>
|
|
<property name="position">1</property>
|
|
</packing>
|
|
</child>
|
|
<child>
|
|
<widget class="GtkHPaned" id="HorizontalPaned">
|
|
<property name="visible">True</property>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
<child>
|
|
<placeholder/>
|
|
</child>
|
|
</widget>
|
|
<packing>
|
|
<property name="position">2</property>
|
|
</packing>
|
|
</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>
|
|
<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>
|
|
</glade-interface>
|