module GUI.Glade.NodeChecker (get)
where
get :: (String, String)
get :: (String, String)
get = ("NodeChecker", String
xmlString)
xmlString :: String
xmlString :: String
xmlString =
"<?xml version=\"1.0\"?>\n<interface>\n <object class=\"GtkAdjustment\" id=\"adjustment1\">\n <property name=\"value\">20</property>\n <property name=\"lower\">1</property>\n <property name=\"upper\">3600</property>\n <property name=\"step_increment\">1</property>\n <property name=\"page_increment\">0</property>\n <property name=\"page_size\">0</property>\n </object>\n <!-- interface-requires gtk+ 2.16 -->\n <!-- interface-naming-policy project-wide -->\n <object class=\"GtkWindow\" id=\"ModelView\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkVBox\" id=\"vbox5\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkHBox\" id=\"hbox2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkFrame\" id=\"frResNodes\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment9\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvResNodes\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label7\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Nodes:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment10\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTextView\" id=\"tvResModel\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label8\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Result:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHSeparator\" id=\"hseparator2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox5\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"layout_style\">end</property>\n <child>\n <object class=\"GtkButton\" id=\"btnResClose\">\n <property name=\"label\" translatable=\"yes\">Close</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n <object class=\"GtkWindow\" id=\"NodeChecker\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkVBox\" id=\"vbox3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkHBox\" id=\"hbox1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkVBox\" id=\"vbox4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkFrame\" id=\"frame2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"top_padding\">6</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <property name=\"right_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvNodes\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Nodes or goals:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox6\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnNodesAll\">\n <property name=\"label\" translatable=\"yes\">All</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnNodesNone\">\n <property name=\"label\" translatable=\"yes\">None</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnNodesInvert\">\n <property name=\"label\" translatable=\"yes\">Invert</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"layout_style\">start</property>\n <child>\n <object class=\"GtkButton\" id=\"btnNodesUnchecked\">\n <property name=\"label\" translatable=\"yes\">Unchecked</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnNodesTimeout\">\n <property name=\"label\" translatable=\"yes\">Timedout</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkVBox\" id=\"vbox1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkFrame\" id=\"frame3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment7\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">12</property>\n <child>\n <object class=\"GtkVBox\" id=\"vbox2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkHBox\" id=\"hbox4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkLabel\" id=\"label6\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Timeout:</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment8\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"left_padding\">10</property>\n <child>\n <object class=\"GtkSpinButton\" id=\"sbTimeout\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"width_chars\">5</property>\n <property name=\"adjustment\">adjustment1</property>\n <property name=\"climb_rate\">1</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"pack_type\">end</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkCheckButton\" id=\"cbInclThms\">\n <property name=\"label\" translatable=\"yes\">Include Theorems</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_action_appearance\">False</property>\n <property name=\"active\">True</property>\n <property name=\"draw_indicator\">True</property>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"layout_style\">end</property>\n <child>\n <object class=\"GtkButton\" id=\"btnStop\">\n <property name=\"label\" translatable=\"yes\">Stop</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnCheck\">\n <property name=\"label\" translatable=\"yes\">Check</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"pack_type\">end</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Checker Configuration:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame6\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"top_padding\">3</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">12</property>\n <child>\n <object class=\"GtkLabel\" id=\"lblSublogic\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"xalign\">0</property>\n <property name=\"yalign\">0</property>\n <property name=\"label\" translatable=\"yes\">No sublogic</property>\n <property name=\"use_markup\">True</property>\n <property name=\"selectable\">True</property>\n <property name=\"max_width_chars\">30</property>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label5\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Sublogic of selected theories:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">automatic</property>\n <property name=\"vscrollbar_policy\">automatic</property>\n <child>\n <object class=\"GtkTreeView\" id=\"trvFinder\">\n <property name=\"height_request\">80</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Pick Model finder:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkFrame\" id=\"frame5\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label_xalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"bottom_padding\">6</property>\n <property name=\"left_padding\">6</property>\n <child>\n <object class=\"GtkComboBox\" id=\"cbComorphism\">\n <property name=\"width_request\">220</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n </object>\n </child>\n <child type=\"label\">\n <object class=\"GtkLabel\" id=\"label3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Select comorphism path:</property>\n <property name=\"use_markup\">True</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">3</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHSeparator\" id=\"hseparator1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkHButtonBox\" id=\"hbuttonbox1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"layout_style\">end</property>\n <child>\n <object class=\"GtkButton\" id=\"btnResults\">\n <property name=\"label\" translatable=\"yes\">View results</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n <property name=\"secondary\">True</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"btnClose\">\n <property name=\"label\" translatable=\"yes\">Close</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <property name=\"use_action_appearance\">False</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">2</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n</interface>\n"