{- |
Module      :  GUI.Glade.GenericATP
Description :  Glade xmlstring for GenericATP
Copyright   :  (c) Thiemo Wiedemeyer, Uni Bremen 2008
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  raider@informatik.uni-bremen.de
Stability   :  provisional
Portability :  portable

This module provides a string containing the xml data of the glade file for:
GenericATP

This module is automatically created.
-}

module GUI.Glade.GenericATP (get)
where

get :: (String, String)
get :: (String, String)
get = ("GenericATP", 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.8 -->\n  <!-- interface-naming-policy project-wide -->\n  <object class=\"GtkWindow\" id=\"GenericATP\">\n    <property name=\"default_width\">450</property>\n    <child>\n      <object class=\"GtkVBox\" id=\"vbox15\">\n        <property name=\"visible\">True</property>\n        <child>\n          <object class=\"GtkHBox\" id=\"hbox5\">\n            <property name=\"visible\">True</property>\n            <child>\n              <object class=\"GtkFrame\" id=\"frame8\">\n                <property name=\"visible\">True</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=\"top_padding\">3</property>\n                    <property name=\"left_padding\">6</property>\n                    <child>\n                      <object class=\"GtkScrolledWindow\" id=\"scrolledwindow6\">\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=\"trvGoals\">\n                            <property name=\"height_request\">100</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=\"label6\">\n                    <property name=\"visible\">True</property>\n                    <property name=\"label\" translatable=\"yes\">Goals:</property>\n                    <property name=\"use_markup\">True</property>\n                  </object>\n                </child>\n              </object>\n              <packing>\n                <property name=\"position\">0</property>\n              </packing>\n            </child>\n            <child>\n              <object class=\"GtkVBox\" id=\"vbox9\">\n                <property name=\"visible\">True</property>\n                <child>\n                  <object class=\"GtkFrame\" id=\"frame9\">\n                    <property name=\"visible\">True</property>\n                    <property name=\"label_xalign\">0</property>\n                    <property name=\"shadow_type\">none</property>\n                    <child>\n                      <object class=\"GtkAlignment\" id=\"alignment11\">\n                        <property name=\"visible\">True</property>\n                        <property name=\"top_padding\">3</property>\n                        <property name=\"bottom_padding\">3</property>\n                        <property name=\"left_padding\">6</property>\n                        <child>\n                          <object class=\"GtkVBox\" id=\"vbox10\">\n                            <property name=\"visible\">True</property>\n                            <child>\n                              <object class=\"GtkHBox\" id=\"hbox8\">\n                                <property name=\"visible\">True</property>\n                                <child>\n                                  <object class=\"GtkLabel\" id=\"label10\">\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"xalign\">0</property>\n                                    <property name=\"label\" translatable=\"yes\">Timeout:</property>\n                                  </object>\n                                  <packing>\n                                    <property name=\"position\">0</property>\n                                  </packing>\n                                </child>\n                                <child>\n                                  <object class=\"GtkSpinButton\" id=\"sbTimeout\">\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"can_focus\">True</property>\n                                    <property name=\"invisible_char\">&#x25CF;</property>\n                                    <property name=\"adjustment\">adjustment1</property>\n                                  </object>\n                                  <packing>\n                                    <property name=\"expand\">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\">False</property>\n                                <property name=\"position\">0</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkLabel\" id=\"label11\">\n                                <property name=\"visible\">True</property>\n                                <property name=\"xalign\">0</property>\n                                <property name=\"label\" translatable=\"yes\">Extra Options:</property>\n                                <property name=\"use_markup\">True</property>\n                              </object>\n                              <packing>\n                                <property name=\"expand\">False</property>\n                                <property name=\"position\">1</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkEntry\" id=\"entryOptions\">\n                                <property name=\"visible\">True</property>\n                                <property name=\"can_focus\">True</property>\n                                <property name=\"invisible_char\">&#x25CF;</property>\n                              </object>\n                              <packing>\n                                <property name=\"expand\">False</property>\n                                <property name=\"position\">2</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkCheckButton\" id=\"cbIncludeProven\">\n                                <property name=\"label\" translatable=\"yes\">Include preceding proven\ntheorems in next proof attempt</property>\n                                <property name=\"visible\">True</property>\n                                <property name=\"can_focus\">True</property>\n                                <property name=\"receives_default\">False</property>\n                                <property name=\"draw_indicator\">True</property>\n                              </object>\n                              <packing>\n                                <property name=\"expand\">False</property>\n                                <property name=\"position\">3</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkCheckButton\" id=\"cbSaveBatch\">\n                                <property name=\"label\" translatable=\"yes\">Save problem batch</property>\n                                <property name=\"visible\">True</property>\n                                <property name=\"can_focus\">True</property>\n                                <property name=\"receives_default\">False</property>\n                                <property name=\"draw_indicator\">True</property>\n                              </object>\n                              <packing>\n                                <property name=\"expand\">False</property>\n                                <property name=\"position\">4</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkHButtonBox\" id=\"hbuttonbox9\">\n                                <property name=\"visible\">True</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                                  </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=\"btnProveSelected\">\n                                    <property name=\"label\" translatable=\"yes\">Prove</property>\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"can_focus\">True</property>\n                                    <property name=\"receives_default\">True</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=\"btnProveAll\">\n                                    <property name=\"label\" translatable=\"yes\">Prove all</property>\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"can_focus\">True</property>\n                                    <property name=\"receives_default\">True</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=\"position\">5</property>\n                              </packing>\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=\"label\" translatable=\"yes\">Options:</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=\"position\">0</property>\n                  </packing>\n                </child>\n                <child>\n                  <object class=\"GtkFrame\" id=\"frame10\">\n                    <property name=\"visible\">True</property>\n                    <property name=\"label_xalign\">0</property>\n                    <property name=\"shadow_type\">none</property>\n                    <child>\n                      <object class=\"GtkAlignment\" id=\"alignment13\">\n                        <property name=\"visible\">True</property>\n                        <property name=\"top_padding\">3</property>\n                        <property name=\"left_padding\">6</property>\n                        <child>\n                          <object class=\"GtkVBox\" id=\"vbox11\">\n                            <property name=\"visible\">True</property>\n                            <child>\n                              <object class=\"GtkHBox\" id=\"hbox6\">\n                                <property name=\"visible\">True</property>\n                                <child>\n                                  <object class=\"GtkLabel\" id=\"label13\">\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"xalign\">0</property>\n                                    <property name=\"label\" translatable=\"yes\">Status:</property>\n                                  </object>\n                                  <packing>\n                                    <property name=\"expand\">False</property>\n                                    <property name=\"position\">0</property>\n                                  </packing>\n                                </child>\n                                <child>\n                                  <object class=\"GtkLabel\" id=\"lblStatus\">\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"xalign\">0</property>\n                                    <property name=\"xpad\">3</property>\n                                    <property name=\"label\" translatable=\"yes\">Open</property>\n                                    <property name=\"use_markup\">True</property>\n                                  </object>\n                                  <packing>\n                                    <property name=\"position\">1</property>\n                                  </packing>\n                                </child>\n                              </object>\n                              <packing>\n                                <property name=\"expand\">False</property>\n                                <property name=\"position\">0</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkLabel\" id=\"label12\">\n                                <property name=\"visible\">True</property>\n                                <property name=\"xalign\">0</property>\n                                <property name=\"label\" translatable=\"yes\">Used Axioms:</property>\n                                <property name=\"use_markup\">True</property>\n                              </object>\n                              <packing>\n                                <property name=\"expand\">False</property>\n                                <property name=\"position\">1</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkAlignment\" id=\"alignment12\">\n                                <property name=\"visible\">True</property>\n                                <property name=\"top_padding\">6</property>\n                                <property name=\"bottom_padding\">6</property>\n                                <child>\n                                  <object class=\"GtkScrolledWindow\" id=\"scrolledwindow7\">\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=\"trvAxioms\">\n                                        <property name=\"height_request\">100</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                              <packing>\n                                <property name=\"position\">2</property>\n                              </packing>\n                            </child>\n                            <child>\n                              <object class=\"GtkHButtonBox\" id=\"hbuttonbox10\">\n                                <property name=\"visible\">True</property>\n                                <property name=\"layout_style\">end</property>\n                                <child>\n                                  <object class=\"GtkButton\" id=\"btnSaveProblem\">\n                                    <property name=\"label\" translatable=\"yes\">Save Problem File</property>\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"can_focus\">True</property>\n                                    <property name=\"receives_default\">True</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=\"btnShowDetails\">\n                                    <property name=\"label\" translatable=\"yes\">Show Details</property>\n                                    <property name=\"visible\">True</property>\n                                    <property name=\"can_focus\">True</property>\n                                    <property name=\"receives_default\">True</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=\"position\">3</property>\n                              </packing>\n                            </child>\n                          </object>\n                        </child>\n                      </object>\n                    </child>\n                    <child type=\"label\">\n                      <object class=\"GtkLabel\" id=\"label9\">\n                        <property name=\"visible\">True</property>\n                        <property name=\"label\" translatable=\"yes\">Results:</property>\n                        <property name=\"use_markup\">True</property>\n                      </object>\n                    </child>\n                  </object>\n                  <packing>\n                    <property name=\"position\">1</property>\n                  </packing>\n                </child>\n              </object>\n              <packing>\n                <property name=\"expand\">False</property>\n                <property name=\"position\">1</property>\n              </packing>\n            </child>\n          </object>\n          <packing>\n            <property name=\"position\">0</property>\n          </packing>\n        </child>\n        <child>\n          <object class=\"GtkHSeparator\" id=\"hseparator3\">\n            <property name=\"visible\">True</property>\n          </object>\n          <packing>\n            <property name=\"expand\">False</property>\n            <property name=\"padding\">3</property>\n            <property name=\"position\">1</property>\n          </packing>\n        </child>\n        <child>\n          <object class=\"GtkHButtonBox\" id=\"hbuttonbox11\">\n            <property name=\"visible\">True</property>\n            <child>\n              <object class=\"GtkButton\" id=\"btnHelp\">\n                <property name=\"label\" translatable=\"yes\">Help</property>\n                <property name=\"visible\">True</property>\n                <property name=\"can_focus\">True</property>\n                <property name=\"receives_default\">True</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=\"btnSaveConfig\">\n                <property name=\"label\" translatable=\"yes\">Save config</property>\n                <property name=\"visible\">True</property>\n                <property name=\"can_focus\">True</property>\n                <property name=\"receives_default\">True</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=\"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              </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\">2</property>\n              </packing>\n            </child>\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    </child>\n  </object>\n</interface>\n"