?prevdifflink? - Blame
<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
<!DOCTYPE glade-interface SYSTEM "http://glade.gnome.org/glade-2.0.dtd">
<glade-interface>
<widget class="GtkWindow" id="windowMain">
<property name="visible">True</property>
<property name="title">2lt-gui</property>
<property name="type">GTK_WINDOW_TOPLEVEL</property>
<property name="window_position">GTK_WIN_POS_NONE</property>
<property name="modal">False</property>
<property name="default_width">400</property>
<property name="default_height">400</property>
<property name="resizable">True</property>
<property name="destroy_with_parent">False</property>
<property name="decorated">True</property>
<property name="skip_taskbar_hint">False</property>
<property name="skip_pager_hint">False</property>
<property name="type_hint">GDK_WINDOW_TYPE_HINT_NORMAL</property>
<property name="gravity">GDK_GRAVITY_NORTH_WEST</property>
<property name="focus_on_map">True</property>
<property name="urgency_hint">False</property>
<child>
<widget class="GtkVBox" id="vboxRulesTab">
<property name="visible">True</property>
<property name="homogeneous">False</property>
<property name="spacing">0</property>
<child>
<widget class="GtkMenuBar" id="menubar">
<property name="visible">True</property>
<property name="pack_direction">GTK_PACK_DIRECTION_LTR</property>
<property name="child_pack_direction">GTK_PACK_DIRECTION_LTR</property>
<child>
<widget class="GtkMenuItem" id="menuitem1">
<property name="visible">True</property>
<property name="label" translatable="yes">_File</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="menuitem1_menu">
<child>
<widget class="GtkImageMenuItem" id="new1">
<property name="visible">True</property>
<property name="label">gtk-new</property>
<property name="use_stock">True</property>
<signal name="activate" handler="on_new1_activate"/>
</widget>
</child>
<child>
<widget class="GtkImageMenuItem" id="closeTab">
<property name="visible">True</property>
<property name="label">gtk-close</property>
<property name="use_stock">True</property>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separatormenuitem3">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkImageMenuItem" id="exit1">
<property name="visible">True</property>
<property name="label">gtk-quit</property>
<property name="use_stock">True</property>
<signal name="activate" handler="on_exit1_activate"/>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="type1">
<property name="visible">True</property>
<property name="label" translatable="yes">_Type</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="type1_menu">
<child>
<widget class="GtkMenuItem" id="import_xml1">
<property name="visible">True</property>
<property name="label" translatable="yes">Import XSD</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_import_xml1_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="import_sql1">
<property name="visible">True</property>
<property name="label" translatable="yes">Import SQL</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_import_sql1_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="import_haskell1">
<property name="visible">True</property>
<property name="label" translatable="yes">Import Haskell</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_import_haskell1_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="import_vdm1">
<property name="visible">True</property>
<property name="label" translatable="yes">Import VDM</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_import_vdm1_activate" last_modification_time="Fri, 08 Jun 2007 11:43:24 GMT"/>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separator2">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="export_xml1">
<property name="visible">True</property>
<property name="label" translatable="yes">Export XSD</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_export_xml1_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="export_sql1">
<property name="visible">True</property>
<property name="label" translatable="yes">Export SQL</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_export_sql1_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="export_haskell">
<property name="visible">True</property>
<property name="label" translatable="yes">Export Haskell</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="export_vdm1">
<property name="visible">True</property>
<property name="label" translatable="yes">Export VDM</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_export_vdm1_activate" last_modification_time="Fri, 08 Jun 2007 11:43:24 GMT"/>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separatormenuitem1">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="apply_rules1">
<property name="visible">True</property>
<property name="label" translatable="yes">Apply Rules</property>
<property name="use_underline">True</property>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="values">
<property name="visible">True</property>
<property name="label" translatable="yes">_Values</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="values_menu">
<child>
<widget class="GtkMenuItem" id="menuitem2">
<property name="visible">True</property>
<property name="label" translatable="yes">Transform forward</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="menuitem2_menu">
<child>
<widget class="GtkMenuItem" id="fFromXml">
<property name="visible">True</property>
<property name="label" translatable="yes">From XML</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="fFromSql">
<property name="visible">True</property>
<property name="label" translatable="yes">From SQL</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="fFromHaskell">
<property name="visible">True</property>
<property name="label" translatable="yes">From Haskell</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="fFromVDM">
<property name="visible">True</property>
<property name="label" translatable="yes">From VDM</property>
<property name="use_underline">True</property>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="menuitem5">
<property name="visible">True</property>
<property name="label" translatable="yes">Transform backward</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="menuitem5_menu">
<child>
<widget class="GtkMenuItem" id="bFromXml">
<property name="visible">True</property>
<property name="label" translatable="yes">From XML</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="bFromSql">
<property name="visible">True</property>
<property name="label" translatable="yes">From SQL</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="bFromHaskell">
<property name="visible">True</property>
<property name="label" translatable="yes">From Haskell</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="bFromVDM">
<property name="visible">True</property>
<property name="label" translatable="yes">From VDM</property>
<property name="use_underline">True</property>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separatormenuitem2">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="exportValuesXml">
<property name="visible">True</property>
<property name="label" translatable="yes">Export XML</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="exportValuesSql">
<property name="visible">True</property>
<property name="label" translatable="yes">Export SQL</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="exportValuesHaskell">
<property name="visible">True</property>
<property name="label" translatable="yes">Export Haskell</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="exportValuesVDM">
<property name="visible">True</property>
<property name="label" translatable="yes">Export VDM</property>
<property name="use_underline">True</property>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="menuitem3">
<property name="visible">True</property>
<property name="label" translatable="yes">_Rules</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="menuitem3_menu">
<child>
<widget class="GtkMenuItem" id="seq_comp">
<property name="visible">True</property>
<property name="label" translatable="yes">Sequential composition</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_seq_comp_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="left_choice">
<property name="visible">True</property>
<property name="label" translatable="yes">Left-biased choice</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_left_choice_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="nop">
<property name="visible">True</property>
<property name="label" translatable="yes">Do-nothing operation</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_nop_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="many">
<property name="visible">True</property>
<property name="label" translatable="yes">Repeat until failure</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_many_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="once">
<property name="visible">True</property>
<property name="label" translatable="yes">Apply rule once</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_once_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="outerMost">
<property name="visible">True</property>
<property name="label" translatable="yes">Outer Most</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="all">
<property name="visible">True</property>
<property name="label" translatable="yes">All</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="everywhere">
<property name="visible">True</property>
<property name="label" translatable="yes">Apply rule everywhere</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separator4">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="addfield">
<property name="visible">True</property>
<property name="label" translatable="yes">Add a field</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_addfield_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="add_alt">
<property name="visible">True</property>
<property name="label" translatable="yes">Add alternative</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_add_alt_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="allow_rep">
<property name="visible">True</property>
<property name="label" translatable="yes">Allow repetition</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_allow_rep_activate"/>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separator6">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="inside">
<property name="visible">True</property>
<property name="label" translatable="yes">Perform inside the given tag</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_inside_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="at_tag">
<property name="visible">True</property>
<property name="label" translatable="yes">Perform on the given tag</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_at_tag_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="changeTag">
<property name="visible">True</property>
<property name="label" translatable="yes">Change tag</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separator7">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="flatten">
<property name="visible">True</property>
<property name="label" translatable="yes">Flatten hierarchical data type</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_flatten_activate"/>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="normalizeTag">
<property name="visible">True</property>
<property name="label" translatable="yes">Normalize Tag</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="eitherToMaybe">
<property name="visible">True</property>
<property name="label" translatable="yes">Either to Maybe</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="replaceDefaultTags">
<property name="visible">True</property>
<property name="label" translatable="yes">Replace default tags</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="mapsum">
<property name="visible">True</property>
<property name="label" translatable="yes">mapsum</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="packStr">
<property name="visible">True</property>
<property name="label" translatable="yes">Pack Strings</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="prodmapmap">
<property name="visible">True</property>
<property name="label" translatable="yes">prodmapmap</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="fixastable">
<property name="visible">True</property>
<property name="label" translatable="yes">fixastable</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="removefixcounter">
<property name="visible">True</property>
<property name="label" translatable="yes">removefixcounter</property>
<property name="use_underline">True</property>
</widget>
</child>
<child>
<widget class="GtkSeparatorMenuItem" id="separator8">
<property name="visible">True</property>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="script">
<property name="visible">True</property>
<property name="label" translatable="yes">Import from script</property>
<property name="use_underline">True</property>
<signal name="activate" handler="on_script_activate"/>
</widget>
</child>
</widget>
</child>
</widget>
</child>
<child>
<widget class="GtkMenuItem" id="menuitem4">
<property name="visible">True</property>
<property name="label" translatable="yes">_Help</property>
<property name="use_underline">True</property>
<child>
<widget class="GtkMenu" id="menuitem4_menu">
<child>
<widget class="GtkImageMenuItem" id="about1">
<property name="visible">True</property>
<property name="label">gtk-about</property>
<property name="use_stock">True</property>
<signal name="activate" handler="on_about1_activate"/>
</widget>
</child>
</widget>
</child>
</widget>
</child>
</widget>
<packing>
<property name="padding">0</property>
<property name="expand">False</property>
<property name="fill">False</property>
</packing>
</child>
<child>
<widget class="GtkNotebook" id="notebook">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="show_tabs">True</property>
<property name="show_border">True</property>
<property name="tab_pos">GTK_POS_TOP</property>
<property name="scrollable">False</property>
<property name="enable_popup">False</property>
<child>
<widget class="GtkScrolledWindow" id="scrolledwindowRulesTab">
<property name="border_width">4</property>
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="hscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
<property name="vscrollbar_policy">GTK_POLICY_AUTOMATIC</property>
<property name="shadow_type">GTK_SHADOW_ETCHED_IN</property>
<property name="window_placement">GTK_CORNER_TOP_LEFT</property>
<child>
<widget class="GtkTreeView" id="treeviewRulesTab">
<property name="visible">True</property>
<property name="can_focus">True</property>
<property name="headers_visible">True</property>
<property name="rules_hint">False</property>
<property name="reorderable">True</property>
<property name="enable_search">True</property>
<property name="fixed_height_mode">False</property>
<property name="hover_selection">False</property>
<property name="hover_expand">False</property>
</widget>
</child>
</widget>
<packing>
<property name="tab_expand">False</property>
<property name="tab_fill">True</property>
</packing>
</child>
<child>
<widget class="GtkLabel" id="labelsRulesTab">
<property name="label" translatable="yes">Rules</property>
<property name="use_underline">False</property>
<property name="use_markup">False</property>
<property name="justify">GTK_JUSTIFY_LEFT</property>
<property name="wrap">False</property>
<property name="selectable">False</property>
<property name="xalign">0.5</property>
<property name="yalign">0.5</property>
<property name="xpad">0</property>
<property name="ypad">0</property>
<property name="ellipsize">PANGO_ELLIPSIZE_NONE</property>
<property name="width_chars">-1</property>
<property name="single_line_mode">False</property>
<property name="angle">0</property>
</widget>
<packing>
<property name="type">tab</property>
</packing>
</child>
</widget>
<packing>
<property name="padding">0</property>
<property name="expand">True</property>
<property name="fill">True</property>
</packing>
</child>
</widget>
</child>
</widget>
</glade-interface>
|