1 (* Automatically generated from matita.ui by lablgladecc *)
3 let data = "<?xml version=\"1.0\" encoding=\"UTF-8\"?>\n<!-- Generated with glade 3.22.1 -->\n<interface>\n <requires lib=\"gtk+\" version=\"3.20\"/>\n <object class=\"GtkWindow\" id=\"AutoWin\">\n <property name=\"width_request\">600</property>\n <property name=\"height_request\">400</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"title\" translatable=\"yes\">Auto</property>\n <property name=\"type_hint\">dialog</property>\n <property name=\"gravity\">south-east</property>\n <child>\n <object class=\"GtkBox\" id=\"vbox17\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox30\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindowAREA\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"shadow_type\">in</property>\n <child>\n <object class=\"GtkViewport\" id=\"viewportAREA\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkGrid\" id=\"table\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\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=\"GtkBox\" id=\"vbox18\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkButton\" id=\"buttonUP\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment19\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"xscale\">0</property>\n <property name=\"yscale\">0</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox31\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkImage\" id=\"image1066\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-go-up</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=\"GtkLabel\" id=\"label30\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"use_underline\">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 </child>\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=\"GtkButton\" id=\"buttonDOWN\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <child>\n <object class=\"GtkImage\" id=\"image1065\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-go-down</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\">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\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkSeparator\" id=\"hseparator3\">\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=\"padding\">3</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"hbox32\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkLabel\" id=\"labelLAST\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Last:</property>\n <property name=\"xalign\">0</property>\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=\"GtkButtonBox\" id=\"hbuttonbox3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"border_width\">4</property>\n <property name=\"spacing\">4</property>\n <property name=\"layout_style\">end</property>\n <child>\n <object class=\"GtkButton\" id=\"buttonPAUSE\">\n <property name=\"label\">gtk-media-pause</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">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=\"buttonPLAY\">\n <property name=\"label\">gtk-media-play</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">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=\"buttonNEXT\">\n <property name=\"label\">gtk-media-next</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">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 <child>\n <object class=\"GtkButton\" id=\"buttonCLOSE\">\n <property name=\"label\">gtk-close</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">3</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\">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 <object class=\"GtkWindow\" id=\"BrowserWin\">\n <property name=\"width_request\">500</property>\n <property name=\"height_request\">480</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"title\" translatable=\"yes\">Cic browser</property>\n <property name=\"window_position\">center-on-parent</property>\n <property name=\"default_width\">500</property>\n <property name=\"default_height\">480</property>\n <property name=\"destroy_with_parent\">True</property>\n <child>\n <object class=\"GtkEventBox\" id=\"BrowserWinEventBox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkBox\" id=\"BrowserVBox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkMenuBar\" id=\"menubar2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"BrowserFileMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_File</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"BrowserFileMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"BrowserNewMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_New</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"BrowserUrlMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Open _Location ...</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"L\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separatormenuitem1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"BrowserCloseMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Quit</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"BrowserEditMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_Edit</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"BrowserEditMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"BrowserCopyMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Copy</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\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=\"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=\"label_yalign\">0</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkBox\" id=\"BrowserHBox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"BrowserNewButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image303\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-new</property>\n </object>\n </child>\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=\"BrowserBackButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image304\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-go-back</property>\n </object>\n </child>\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=\"BrowserForwardButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image305\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-go-forward</property>\n </object>\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 <child>\n <object class=\"GtkButton\" id=\"BrowserRefreshButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">refresh</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image229\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-refresh</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">3</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"BrowserHomeButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">home</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image190\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-home</property>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">4</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkImage\" id=\"image301\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-jump-to</property>\n <property name=\"icon_size\">2</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"padding\">3</property>\n <property name=\"position\">5</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"UriHBox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkEntry\" id=\"browserUri\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"has_focus\">True</property>\n <property name=\"invisible_char\">\226\151\143</property>\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 </object>\n <packing>\n <property name=\"expand\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">6</property>\n </packing>\n </child>\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=\"GtkNotebook\" id=\"mathOrListNotebook\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"ScrolledBrowser\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"mathLabel\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">MathView</property>\n </object>\n <packing>\n <property name=\"tab_fill\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow9\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"shadow_type\">in</property>\n <child>\n <object class=\"GtkTreeView\" id=\"whelpResultTreeview\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"headers_visible\">False</property>\n <child internal-child=\"selection\">\n <object class=\"GtkTreeSelection\"/>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"WhelpResult\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">WhelpResult</property>\n </object>\n <packing>\n <property name=\"position\">1</property>\n <property name=\"tab_fill\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwindow11\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <child>\n <object class=\"GtkViewport\" id=\"viewport2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"shadow_type\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"BrowserImage\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-missing-image</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 type=\"tab\">\n <object class=\"GtkLabel\" id=\"EasterEggLabel\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">WhelpEasterEgg</property>\n </object>\n <packing>\n <property name=\"position\">2</property>\n <property name=\"tab_fill\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"GraphScrolledWin\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n <packing>\n <property name=\"position\">3</property>\n </packing>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"label26\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Graph</property>\n </object>\n <packing>\n <property name=\"position\">3</property>\n <property name=\"tab_fill\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"vbox20\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"scrolledwinContent\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"border_width\">3</property>\n <property name=\"shadow_type\">in</property>\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=\"GtkBox\" id=\"hbox35\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"border_width\">4</property>\n <property name=\"spacing\">4</property>\n <child>\n <object class=\"GtkBox\" id=\"vbox22\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\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=\"GtkEntry\" id=\"entrySearch\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"has_focus\">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=\"GtkButton\" id=\"buttonSearch\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment21\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"xscale\">0</property>\n <property name=\"yscale\">0</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox36\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkImage\" id=\"image1068\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-find</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=\"GtkLabel\" id=\"label32\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Search</property>\n <property name=\"use_underline\">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 </child>\n </object>\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 <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=\"position\">4</property>\n </packing>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"SearchText\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">SearchText</property>\n </object>\n <packing>\n <property name=\"position\">4</property>\n <property name=\"tab_fill\">False</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\">3</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n </child>\n </object>\n <object class=\"GtkDialog\" id=\"DisambiguationErrors\">\n <property name=\"width_request\">450</property>\n <property name=\"height_request\">400</property>\n <property name=\"can_focus\">False</property>\n <property name=\"title\" translatable=\"yes\">title</property>\n <property name=\"modal\">True</property>\n <property name=\"type_hint\">dialog</property>\n <child internal-child=\"vbox\">\n <object class=\"GtkBox\" id=\"vbox14\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child internal-child=\"action_area\">\n <object class=\"GtkButtonBox\" id=\"hbuttonbox2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"layout_style\">spread</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\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"vbox15\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkLabel\" id=\"disambiguationErrorsLabel\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">some informative message here ...</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=\"GtkScrolledWindow\" id=\"scrolledwindow12\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"vexpand\">True</property>\n <property name=\"shadow_type\">in</property>\n <child>\n <object class=\"GtkTreeView\" id=\"treeview\">\n <property name=\"height_request\">717</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"headers_visible\">False</property>\n <child internal-child=\"selection\">\n <object class=\"GtkTreeSelection\"/>\n </child>\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\">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=\"FindReplWin\">\n <property name=\"can_focus\">False</property>\n <property name=\"border_width\">5</property>\n <property name=\"title\" translatable=\"yes\">Find & Replace</property>\n <property name=\"resizable\">False</property>\n <property name=\"window_position\">mouse</property>\n <property name=\"type_hint\">dialog</property>\n <child>\n <object class=\"GtkGrid\" id=\"table1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"row_spacing\">9</property>\n <child>\n <object class=\"GtkLabel\" id=\"label17\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Find:</property>\n <property name=\"xalign\">0</property>\n </object>\n <packing>\n <property name=\"left_attach\">0</property>\n <property name=\"top_attach\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkLabel\" id=\"label18\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Replace with: </property>\n <property name=\"xalign\">0</property>\n </object>\n <packing>\n <property name=\"left_attach\">0</property>\n <property name=\"top_attach\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkEntry\" id=\"findEntry\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"has_default\">True</property>\n </object>\n <packing>\n <property name=\"left_attach\">1</property>\n <property name=\"top_attach\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkEntry\" id=\"replaceEntry\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n </object>\n <packing>\n <property name=\"left_attach\">1</property>\n <property name=\"top_attach\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"hbox19\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">5</property>\n <property name=\"homogeneous\">True</property>\n <child>\n <object class=\"GtkButton\" id=\"findButton\">\n <property name=\"label\">gtk-find</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">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=\"findReplButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment13\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"xscale\">0</property>\n <property name=\"yscale\">0</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox20\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkImage\" id=\"image357\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-find-and-replace</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=\"GtkLabel\" id=\"label19\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Replace</property>\n <property name=\"use_underline\">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 </child>\n </object>\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 <child>\n <object class=\"GtkButton\" id=\"cancelButton\">\n <property name=\"label\">gtk-cancel</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">3</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"left_attach\">0</property>\n <property name=\"top_attach\">2</property>\n <property name=\"width\">2</property>\n </packing>\n </child>\n </object>\n </child>\n </object>\n <object class=\"GtkWindow\" id=\"MainWin\">\n <property name=\"can_focus\">False</property>\n <property name=\"title\" translatable=\"yes\">Matita</property>\n <child>\n <object class=\"GtkEventBox\" id=\"MainWinEventBox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkBox\" id=\"vbox8\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkMenuBar\" id=\"menubar1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"fileMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_File</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"fileMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"newMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_New</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"n\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"openMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Open...</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"o\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"saveMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Save</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"s\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"saveAsMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Save as...</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"s\" signal=\"activate\" modifiers=\"GDK_SHIFT_MASK | GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"closeMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Close</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"w\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"quitMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Quit</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"q\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"editMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_Edit</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"editMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"undoMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"sensitive\">False</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Undo</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"z\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"redoMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"sensitive\">False</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">_Redo</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"z\" signal=\"activate\" modifiers=\"GDK_SHIFT_MASK | GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"cutMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Cut</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"x\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"copyMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Copy</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"c\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"pasteMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Paste</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"v\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"pastePatternMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Paste as pattern</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkCheckMenuItem\" id=\"unicodeAsTexMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Paste Unicode as TeX</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkCheckMenuItem\" id=\"menuitemAutoAltL\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Auto-expand TeX Macros</property>\n <property name=\"use_underline\">True</property>\n <property name=\"active\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"deleteMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Delete</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"selectAllMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Select _All</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator7\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"findReplMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Find and replace...</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"f\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator8\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"LigatureButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Next ligature</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"l\" signal=\"activate\" modifiers=\"GDK_MOD1_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"externalEditorMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Edit with e_xternal editor</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"scriptMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_Script</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"scriptMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"scriptAdvanceMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Execute 1 phrase</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"Page_Down\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK | GDK_MOD1_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"scriptRetractMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Retract 1 phrase</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"Page_Up\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK | GDK_MOD1_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator9\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"scriptBottomMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Execute all</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"End\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK | GDK_MOD1_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"scriptTopMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Retract all</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"Home\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK | GDK_MOD1_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator10\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"scriptJumpMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Execute until cursor</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"period\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK | GDK_MOD1_MASK\"/>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"viewMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_View</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"viewMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"newCicBrowserMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">New CIC _browser</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"F3\" signal=\"activate\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator5\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkCheckMenuItem\" id=\"fullscreenMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_Fullscreen</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"F11\" signal=\"activate\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkCheckMenuItem\" id=\"menuitemPalette\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Natural deduction palette</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"F2\" signal=\"activate\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"increaseFontSizeMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Zoom in</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"plus\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"decreaseFontSizeMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Zoom out</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"minus\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"normalFontSizeMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Normal size</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"equal\" signal=\"activate\" modifiers=\"GDK_CONTROL_MASK\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator12\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkCheckMenuItem\" id=\"ppNotationMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Pretty print notation</property>\n <property name=\"use_underline\">True</property>\n <property name=\"active\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkCheckMenuItem\" id=\"hideCoercionsMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Hide coercions</property>\n <property name=\"use_underline\">True</property>\n <property name=\"active\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator13\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"showCoercionsGraphMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Coercions Graph</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"showHintsDbMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Hints database</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"showTermGrammarMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Terms grammar</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"showUnicodeTable\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">TeX/UTF-8 table</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"debugMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_Debug</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"debugMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkSeparatorMenuItem\" id=\"separator6\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"helpMenu\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">_Help</property>\n <property name=\"use_underline\">True</property>\n <child type=\"submenu\">\n <object class=\"GtkMenu\" id=\"helpMenu_menu\">\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkMenuItem\" id=\"contentsMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">Contents</property>\n <property name=\"use_underline\">True</property>\n <accelerator key=\"F1\" signal=\"activate\"/>\n </object>\n </child>\n <child>\n <object class=\"GtkMenuItem\" id=\"aboutMenuItem\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\">About</property>\n <property name=\"use_underline\">True</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n </child>\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=\"GtkBox\" id=\"hbox99\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkPaned\" id=\"hpaneScriptSequent\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox18\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkBox\" id=\"TacticsButtonsHandlebox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkBox\" id=\"vboxTacticsPalette\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkExpander\" id=\"expander1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <child>\n <object class=\"GtkBox\" id=\"vbox1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkButton\" id=\"butImpl_intro\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\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\">Implication (\226\135\146<sub>i</sub>)</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=\"GtkButton\" id=\"butAnd_intro\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\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\">Conjunction (\226\136\167<sub>i</sub>)</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 <child>\n <object class=\"GtkButton\" id=\"butOr_intro_left\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label9\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Disjunction left (\226\136\168<sub>i-l</sub>)</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=\"GtkButton\" id=\"butOr_intro_right\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label10\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Disjunction right (\226\136\168<sub>i-r</sub>)</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\">3</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butNot_intro\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label11\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Negation (\194\172<sub>i</sub>)</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\">4</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butTop_intro\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label12\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Top (\226\138\164<sub>i</sub>)</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\">5</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butForall_intro\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label20\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Universal (\226\136\128<sub>i</sub>)</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\">6</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butExists_intro\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label21\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Existential (\226\136\131<sub>i</sub>)</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\">7</property>\n </packing>\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\">Introduction rules</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=\"GtkExpander\" id=\"expander2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <child>\n <object class=\"GtkBox\" id=\"vbox3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkButton\" id=\"butImpl_elim\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label22\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Implication (\226\135\146<sub>e</sub>)</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=\"GtkButton\" id=\"butAnd_elim_left\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label23\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Conjunction left (\226\136\167<sub>e-l</sub>)</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 <child>\n <object class=\"GtkButton\" id=\"butAnd_elim_right\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label24\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Conjunction right (\226\136\167<sub>e-r</sub>)</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=\"GtkButton\" id=\"butOr_elim\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label27\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Disjunction (\226\136\168<sub>e</sub>)</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\">3</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butNot_elim\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label31\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Negation (\194\172<sub>e</sub>)</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\">4</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butBot_elim\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label33\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Bottom (\226\138\165<sub>e</sub>)</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\">5</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butForall_elim\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label34\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Universal (\226\136\128<sub>e</sub>)</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\">6</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butExists_elim\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">True</property>\n <child>\n <object class=\"GtkLabel\" id=\"label35\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Existential (\226\136\131<sub>e</sub>)</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\">7</property>\n </packing>\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\">Elimination rules</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=\"GtkExpander\" id=\"expander3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <child>\n <object class=\"GtkBox\" id=\"vbox4\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkButton\" id=\"butRAA\">\n <property name=\"label\" translatable=\"yes\">Reduction to Absurdity (RAA)</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\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butUseLemma\">\n <property name=\"label\" translatable=\"yes\">Use lemma (lem)</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\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"butDischarge\">\n <property name=\"label\" translatable=\"yes\">Discharge (discharge)</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\">True</property>\n <property name=\"fill\">True</property>\n <property name=\"position\">2</property>\n </packing>\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=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Misc rules</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\">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\">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\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"vboxScript\">\n <property name=\"width_request\">400</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox28\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkToolbar\" id=\"buttonsToolbar\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"toolbar_style\">both</property>\n <child>\n <object class=\"GtkToolItem\" id=\"toolitem41\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"scriptTopButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">Retract all</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image920\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-goto-top</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"homogeneous\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkToolItem\" id=\"toolitem42\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"scriptRetractButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">Retract 1 phrase</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image921\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-go-up</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"homogeneous\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkToolItem\" id=\"toolitem43\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"scriptJumpButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">Execute until cursor</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image922\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-jump-to</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"homogeneous\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkToolItem\" id=\"toolitem44\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"scriptAdvanceButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">Execute 1 phrase</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image923\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-go-down</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"homogeneous\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkToolItem\" id=\"toolitem45\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"scriptBottomButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"tooltip_text\" translatable=\"yes\">Execute all</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image924\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-goto-bottom</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"homogeneous\">False</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=\"GtkToolbar\" id=\"toolbar2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <property name=\"toolbar_style\">both</property>\n <child>\n <object class=\"GtkToolItem\" id=\"toolitem46\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkButton\" id=\"scriptAbortButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"relief\">none</property>\n <child>\n <object class=\"GtkImage\" id=\"image927\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-stop</property>\n </object>\n </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"homogeneous\">False</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\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkNotebook\" id=\"scriptNotebook\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"scrollable\">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 </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=\"resize\">False</property>\n <property name=\"shrink\">True</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkPaned\" id=\"vpaned1\">\n <property name=\"width_request\">250</property>\n <property name=\"height_request\">500</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"orientation\">vertical</property>\n <property name=\"position\">380</property>\n <child>\n <object class=\"GtkNotebook\" id=\"sequentsNotebook\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"scrollable\">True</property>\n </object>\n <packing>\n <property name=\"resize\">False</property>\n <property name=\"shrink\">True</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"hbox9\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkScrolledWindow\" id=\"logScrolledWin\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"hscrollbar_policy\">never</property>\n <property name=\"shadow_type\">in</property>\n <child>\n <object class=\"GtkTextView\" id=\"logTextView\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"editable\">False</property>\n <property name=\"wrap_mode\">char</property>\n <property name=\"cursor_visible\">False</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 </object>\n <packing>\n <property name=\"resize\">True</property>\n <property name=\"shrink\">True</property>\n </packing>\n </child>\n </object>\n <packing>\n <property name=\"resize\">True</property>\n <property name=\"shrink\">True</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 </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=\"GtkBox\" id=\"hbox10\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <child>\n <object class=\"GtkStatusbar\" id=\"StatusBar\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\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=\"GtkNotebook\" id=\"HintNotebook\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"show_tabs\">False</property>\n <child>\n <object class=\"GtkImage\" id=\"HintLowImage\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-missing-image</property>\n </object>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"label14\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">label14</property>\n </object>\n <packing>\n <property name=\"tab_fill\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkImage\" id=\"HintMediumImage\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-missing-image</property>\n </object>\n <packing>\n <property name=\"position\">1</property>\n </packing>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"label15\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">label15</property>\n </object>\n <packing>\n <property name=\"position\">1</property>\n <property name=\"tab_fill\">False</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkImage\" id=\"HintHighImage\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-missing-image</property>\n </object>\n <packing>\n <property name=\"position\">2</property>\n </packing>\n </child>\n <child type=\"tab\">\n <object class=\"GtkLabel\" id=\"label16\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">label16</property>\n </object>\n <packing>\n <property name=\"position\">2</property>\n <property name=\"tab_fill\">False</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\">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 </child>\n </object>\n <object class=\"GtkDialog\" id=\"UriChoiceDialog\">\n <property name=\"height_request\">280</property>\n <property name=\"can_focus\">False</property>\n <property name=\"title\" translatable=\"yes\">Uri choice</property>\n <property name=\"modal\">True</property>\n <property name=\"window_position\">center</property>\n <property name=\"type_hint\">dialog</property>\n <child internal-child=\"vbox\">\n <object class=\"GtkBox\" id=\"dialog-vbox3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <property name=\"spacing\">4</property>\n <child internal-child=\"action_area\">\n <object class=\"GtkButtonBox\" id=\"dialog-action_area3\">\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=\"UriChoiceAbortButton\">\n <property name=\"label\">gtk-cancel</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">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=\"UriChoiceSelectedButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</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=\"xscale\">0</property>\n <property name=\"yscale\">0</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkImage\" id=\"image19\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-index</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=\"GtkLabel\" id=\"label3\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">Try _Selected</property>\n <property name=\"use_underline\">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 </child>\n </object>\n </child>\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=\"UriChoiceConstantsButton\">\n <property name=\"label\" translatable=\"yes\">Try Constants</property>\n <property name=\"visible\">True</property>\n <property name=\"sensitive\">False</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_underline\">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 <child>\n <object class=\"GtkButton\" id=\"copyButton\">\n <property name=\"label\">gtk-copy</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">3</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"uriChoiceAutoButton\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <child>\n <object class=\"GtkAlignment\" id=\"alignment5\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"xscale\">0</property>\n <property name=\"yscale\">0</property>\n <child>\n <object class=\"GtkBox\" id=\"hbox16\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"spacing\">2</property>\n <child>\n <object class=\"GtkImage\" id=\"image302\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"stock\">gtk-ok</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=\"GtkLabel\" id=\"okLabel\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">bla bla bla</property>\n <property name=\"use_underline\">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 </child>\n </object>\n </child>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">4</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkButton\" id=\"uriChoiceForwardButton\">\n <property name=\"label\">gtk-go-forward</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"can_default\">True</property>\n <property name=\"receives_default\">False</property>\n <property name=\"use_stock\">True</property>\n </object>\n <packing>\n <property name=\"expand\">False</property>\n <property name=\"fill\">False</property>\n <property name=\"position\">5</property>\n </packing>\n </child>\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\">0</property>\n </packing>\n </child>\n <child>\n <object class=\"GtkBox\" id=\"vbox2\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"orientation\">vertical</property>\n <property name=\"spacing\">3</property>\n <child>\n <object class=\"GtkLabel\" id=\"UriChoiceLabel\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"label\" translatable=\"yes\">some informative message here ...</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=\"GtkScrolledWindow\" id=\"scrolledwindow1\">\n <property name=\"width_request\">400</property>\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"vexpand\">True</property>\n <child>\n <object class=\"GtkTreeView\" id=\"UriChoiceTreeView\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">True</property>\n <property name=\"headers_visible\">False</property>\n <child internal-child=\"selection\">\n <object class=\"GtkTreeSelection\"/>\n </child>\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 <child>\n <object class=\"GtkBox\" id=\"uriEntryHBox\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">False</property>\n <property name=\"vexpand\">True</property>\n <child>\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\">URI: </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=\"GtkEntry\" id=\"entry1\">\n <property name=\"visible\">True</property>\n <property name=\"can_focus\">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 </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 <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 <action-widgets>\n <action-widget response=\"-6\">UriChoiceAbortButton</action-widget>\n </action-widgets>\n </object>\n</interface>\n"
5 class autoWin ?translation_domain () =
6 let builder = GBuilder.builder ?translation_domain () in
7 let _ = builder#add_objects_from_string data ["AutoWin"] in
10 new GWindow.window (GtkWindow.Window.cast (builder#get_object "AutoWin"))
11 method toplevel = toplevel
13 new GWindow.window (GtkWindow.Window.cast (builder#get_object "AutoWin"))
14 method autoWin = autoWin
16 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox17"))
17 method vbox17 = vbox17
19 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox30"))
20 method hbox30 = hbox30
21 val scrolledwindowAREA =
22 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindowAREA"))
23 method scrolledwindowAREA = scrolledwindowAREA
25 new GBin.viewport (GtkBin.Viewport.cast (builder#get_object "viewportAREA"))
26 method viewportAREA = viewportAREA
28 new GPack.grid (GtkPack.Grid.cast (builder#get_object "table"))
31 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox18"))
32 method vbox18 = vbox18
34 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonUP"))
35 method buttonUP = buttonUP
37 new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment19"))
38 method alignment19 = alignment19
40 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox31"))
41 method hbox31 = hbox31
43 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image1066"))
44 method image1066 = image1066
46 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label30"))
47 method label30 = label30
49 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonDOWN"))
50 method buttonDOWN = buttonDOWN
52 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image1065"))
53 method image1065 = image1065
55 new GObj.widget_full (GtkMisc.Separator.cast (builder#get_object "hseparator3"))
56 method hseparator3 = hseparator3
58 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox32"))
59 method hbox32 = hbox32
61 new GMisc.label (GtkMisc.Label.cast (builder#get_object "labelLAST"))
62 method labelLAST = labelLAST
64 new GPack.button_box (GtkPack.BBox.cast (builder#get_object "hbuttonbox3"))
65 method hbuttonbox3 = hbuttonbox3
67 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonPAUSE"))
68 method buttonPAUSE = buttonPAUSE
70 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonPLAY"))
71 method buttonPLAY = buttonPLAY
73 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonNEXT"))
74 method buttonNEXT = buttonNEXT
76 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonCLOSE"))
77 method buttonCLOSE = buttonCLOSE
78 method reparent parent =
79 vbox17#misc#reparent parent;
82 class browserWin ?translation_domain () =
83 let builder = GBuilder.builder ?translation_domain () in
84 let _ = builder#add_objects_from_string data ["BrowserWin"] in
87 new GWindow.window (GtkWindow.Window.cast (builder#get_object "BrowserWin"))
88 method toplevel = toplevel
90 new GWindow.window (GtkWindow.Window.cast (builder#get_object "BrowserWin"))
91 method browserWin = browserWin
92 val browserWinEventBox =
93 new GBin.event_box (GtkBin.EventBox.cast (builder#get_object "BrowserWinEventBox"))
94 method browserWinEventBox = browserWinEventBox
96 new GPack.box (GtkPack.Box.cast (builder#get_object "BrowserVBox"))
97 method browserVBox = browserVBox
99 new GMenu.menu_shell (GtkMenu.MenuBar.cast (builder#get_object "menubar2"))
100 method menubar2 = menubar2
101 val browserFileMenu =
102 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserFileMenu"))
103 method browserFileMenu = browserFileMenu
104 val browserFileMenu_menu =
105 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "BrowserFileMenu_menu"))
106 method browserFileMenu_menu = browserFileMenu_menu
107 val browserNewMenuItem =
108 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserNewMenuItem"))
109 method browserNewMenuItem = browserNewMenuItem
110 val browserUrlMenuItem =
111 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserUrlMenuItem"))
112 method browserUrlMenuItem = browserUrlMenuItem
113 val separatormenuitem1 =
114 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separatormenuitem1"))
115 method separatormenuitem1 = separatormenuitem1
116 val browserCloseMenuItem =
117 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserCloseMenuItem"))
118 method browserCloseMenuItem = browserCloseMenuItem
119 val browserEditMenu =
120 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserEditMenu"))
121 method browserEditMenu = browserEditMenu
122 val browserEditMenu_menu =
123 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "BrowserEditMenu_menu"))
124 method browserEditMenu_menu = browserEditMenu_menu
125 val browserCopyMenuItem =
126 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "BrowserCopyMenuItem"))
127 method browserCopyMenuItem = browserCopyMenuItem
129 new GBin.frame (GtkBin.Frame.cast (builder#get_object "frame2"))
130 method frame2 = frame2
132 new GPack.box (GtkPack.Box.cast (builder#get_object "BrowserHBox"))
133 method browserHBox = browserHBox
134 val browserNewButton =
135 new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserNewButton"))
136 method browserNewButton = browserNewButton
138 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image303"))
139 method image303 = image303
140 val browserBackButton =
141 new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserBackButton"))
142 method browserBackButton = browserBackButton
144 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image304"))
145 method image304 = image304
146 val browserForwardButton =
147 new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserForwardButton"))
148 method browserForwardButton = browserForwardButton
150 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image305"))
151 method image305 = image305
152 val browserRefreshButton =
153 new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserRefreshButton"))
154 method browserRefreshButton = browserRefreshButton
156 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image229"))
157 method image229 = image229
158 val browserHomeButton =
159 new GButton.button (GtkButton.Button.cast (builder#get_object "BrowserHomeButton"))
160 method browserHomeButton = browserHomeButton
162 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image190"))
163 method image190 = image190
165 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image301"))
166 method image301 = image301
168 new GPack.box (GtkPack.Box.cast (builder#get_object "UriHBox"))
169 method uriHBox = uriHBox
171 new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "browserUri"))
172 method browserUri = browserUri
173 val mathOrListNotebook =
174 new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "mathOrListNotebook"))
175 method mathOrListNotebook = mathOrListNotebook
176 val scrolledBrowser =
177 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "ScrolledBrowser"))
178 method scrolledBrowser = scrolledBrowser
180 new GMisc.label (GtkMisc.Label.cast (builder#get_object "mathLabel"))
181 method mathLabel = mathLabel
182 val scrolledwindow9 =
183 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow9"))
184 method scrolledwindow9 = scrolledwindow9
185 val whelpResultTreeview =
186 new GTree.view (GtkTree.TreeView.cast (builder#get_object "whelpResultTreeview"))
187 method whelpResultTreeview = whelpResultTreeview
189 new GMisc.label (GtkMisc.Label.cast (builder#get_object "WhelpResult"))
190 method whelpResult = whelpResult
191 val scrolledwindow11 =
192 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow11"))
193 method scrolledwindow11 = scrolledwindow11
195 new GBin.viewport (GtkBin.Viewport.cast (builder#get_object "viewport2"))
196 method viewport2 = viewport2
198 new GMisc.image (GtkMisc.Image.cast (builder#get_object "BrowserImage"))
199 method browserImage = browserImage
201 new GMisc.label (GtkMisc.Label.cast (builder#get_object "EasterEggLabel"))
202 method easterEggLabel = easterEggLabel
203 val graphScrolledWin =
204 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "GraphScrolledWin"))
205 method graphScrolledWin = graphScrolledWin
207 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label26"))
208 method label26 = label26
210 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox20"))
211 method vbox20 = vbox20
212 val scrolledwinContent =
213 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwinContent"))
214 method scrolledwinContent = scrolledwinContent
216 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox35"))
217 method hbox35 = hbox35
219 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox22"))
220 method vbox22 = vbox22
222 new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "entrySearch"))
223 method entrySearch = entrySearch
225 new GButton.button (GtkButton.Button.cast (builder#get_object "buttonSearch"))
226 method buttonSearch = buttonSearch
228 new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment21"))
229 method alignment21 = alignment21
231 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox36"))
232 method hbox36 = hbox36
234 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image1068"))
235 method image1068 = image1068
237 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label32"))
238 method label32 = label32
240 new GMisc.label (GtkMisc.Label.cast (builder#get_object "SearchText"))
241 method searchText = searchText
242 method reparent parent =
243 browserWinEventBox#misc#reparent parent;
246 class disambiguationErrors ?translation_domain () =
247 let builder = GBuilder.builder ?translation_domain () in
248 let _ = builder#add_objects_from_string data ["DisambiguationErrors"] in
251 new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "DisambiguationErrors"))
252 method toplevel = toplevel
253 val disambiguationErrors =
254 new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "DisambiguationErrors"))
255 method disambiguationErrors = disambiguationErrors
257 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox14"))
258 method vbox14 = vbox14
260 new GPack.button_box (GtkPack.BBox.cast (builder#get_object "hbuttonbox2"))
261 method hbuttonbox2 = hbuttonbox2
263 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox15"))
264 method vbox15 = vbox15
265 val disambiguationErrorsLabel =
266 new GMisc.label (GtkMisc.Label.cast (builder#get_object "disambiguationErrorsLabel"))
267 method disambiguationErrorsLabel = disambiguationErrorsLabel
268 val scrolledwindow12 =
269 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow12"))
270 method scrolledwindow12 = scrolledwindow12
272 new GTree.view (GtkTree.TreeView.cast (builder#get_object "treeview"))
273 method treeview = treeview
274 method reparent parent =
275 vbox14#misc#reparent parent;
278 class findReplWin ?translation_domain () =
279 let builder = GBuilder.builder ?translation_domain () in
280 let _ = builder#add_objects_from_string data ["FindReplWin"] in
283 new GWindow.window (GtkWindow.Window.cast (builder#get_object "FindReplWin"))
284 method toplevel = toplevel
286 new GWindow.window (GtkWindow.Window.cast (builder#get_object "FindReplWin"))
287 method findReplWin = findReplWin
289 new GPack.grid (GtkPack.Grid.cast (builder#get_object "table1"))
290 method table1 = table1
292 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label17"))
293 method label17 = label17
295 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label18"))
296 method label18 = label18
298 new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "findEntry"))
299 method findEntry = findEntry
301 new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "replaceEntry"))
302 method replaceEntry = replaceEntry
304 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox19"))
305 method hbox19 = hbox19
307 new GButton.button (GtkButton.Button.cast (builder#get_object "findButton"))
308 method findButton = findButton
310 new GButton.button (GtkButton.Button.cast (builder#get_object "findReplButton"))
311 method findReplButton = findReplButton
313 new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment13"))
314 method alignment13 = alignment13
316 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox20"))
317 method hbox20 = hbox20
319 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image357"))
320 method image357 = image357
322 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label19"))
323 method label19 = label19
325 new GButton.button (GtkButton.Button.cast (builder#get_object "cancelButton"))
326 method cancelButton = cancelButton
327 method reparent parent =
328 table1#misc#reparent parent;
331 class mainWin ?translation_domain () =
332 let builder = GBuilder.builder ?translation_domain () in
333 let _ = builder#add_objects_from_string data ["MainWin"] in
336 new GWindow.window (GtkWindow.Window.cast (builder#get_object "MainWin"))
337 method toplevel = toplevel
339 new GWindow.window (GtkWindow.Window.cast (builder#get_object "MainWin"))
340 method mainWin = mainWin
341 val mainWinEventBox =
342 new GBin.event_box (GtkBin.EventBox.cast (builder#get_object "MainWinEventBox"))
343 method mainWinEventBox = mainWinEventBox
345 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox8"))
348 new GMenu.menu_shell (GtkMenu.MenuBar.cast (builder#get_object "menubar1"))
349 method menubar1 = menubar1
351 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "fileMenu"))
352 method fileMenu = fileMenu
354 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "fileMenu_menu"))
355 method fileMenu_menu = fileMenu_menu
357 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "newMenuItem"))
358 method newMenuItem = newMenuItem
360 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "openMenuItem"))
361 method openMenuItem = openMenuItem
363 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "saveMenuItem"))
364 method saveMenuItem = saveMenuItem
366 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "saveAsMenuItem"))
367 method saveAsMenuItem = saveAsMenuItem
369 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator2"))
370 method separator2 = separator2
372 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "closeMenuItem"))
373 method closeMenuItem = closeMenuItem
375 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "quitMenuItem"))
376 method quitMenuItem = quitMenuItem
378 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "editMenu"))
379 method editMenu = editMenu
381 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "editMenu_menu"))
382 method editMenu_menu = editMenu_menu
384 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "undoMenuItem"))
385 method undoMenuItem = undoMenuItem
387 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "redoMenuItem"))
388 method redoMenuItem = redoMenuItem
390 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator3"))
391 method separator3 = separator3
393 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "cutMenuItem"))
394 method cutMenuItem = cutMenuItem
396 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "copyMenuItem"))
397 method copyMenuItem = copyMenuItem
399 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "pasteMenuItem"))
400 method pasteMenuItem = pasteMenuItem
401 val pastePatternMenuItem =
402 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "pastePatternMenuItem"))
403 method pastePatternMenuItem = pastePatternMenuItem
404 val unicodeAsTexMenuItem =
405 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "unicodeAsTexMenuItem"))
406 method unicodeAsTexMenuItem = unicodeAsTexMenuItem
407 val menuitemAutoAltL =
408 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "menuitemAutoAltL"))
409 method menuitemAutoAltL = menuitemAutoAltL
411 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "deleteMenuItem"))
412 method deleteMenuItem = deleteMenuItem
414 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator4"))
415 method separator4 = separator4
416 val selectAllMenuItem =
417 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "selectAllMenuItem"))
418 method selectAllMenuItem = selectAllMenuItem
420 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator7"))
421 method separator7 = separator7
422 val findReplMenuItem =
423 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "findReplMenuItem"))
424 method findReplMenuItem = findReplMenuItem
426 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator8"))
427 method separator8 = separator8
429 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "LigatureButton"))
430 method ligatureButton = ligatureButton
431 val externalEditorMenuItem =
432 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "externalEditorMenuItem"))
433 method externalEditorMenuItem = externalEditorMenuItem
435 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptMenu"))
436 method scriptMenu = scriptMenu
437 val scriptMenu_menu =
438 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "scriptMenu_menu"))
439 method scriptMenu_menu = scriptMenu_menu
440 val scriptAdvanceMenuItem =
441 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptAdvanceMenuItem"))
442 method scriptAdvanceMenuItem = scriptAdvanceMenuItem
443 val scriptRetractMenuItem =
444 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptRetractMenuItem"))
445 method scriptRetractMenuItem = scriptRetractMenuItem
447 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator9"))
448 method separator9 = separator9
449 val scriptBottomMenuItem =
450 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptBottomMenuItem"))
451 method scriptBottomMenuItem = scriptBottomMenuItem
452 val scriptTopMenuItem =
453 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptTopMenuItem"))
454 method scriptTopMenuItem = scriptTopMenuItem
456 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator10"))
457 method separator10 = separator10
458 val scriptJumpMenuItem =
459 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "scriptJumpMenuItem"))
460 method scriptJumpMenuItem = scriptJumpMenuItem
462 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "viewMenu"))
463 method viewMenu = viewMenu
465 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "viewMenu_menu"))
466 method viewMenu_menu = viewMenu_menu
467 val newCicBrowserMenuItem =
468 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "newCicBrowserMenuItem"))
469 method newCicBrowserMenuItem = newCicBrowserMenuItem
471 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator5"))
472 method separator5 = separator5
473 val fullscreenMenuItem =
474 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "fullscreenMenuItem"))
475 method fullscreenMenuItem = fullscreenMenuItem
476 val menuitemPalette =
477 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "menuitemPalette"))
478 method menuitemPalette = menuitemPalette
480 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator1"))
481 method separator1 = separator1
482 val increaseFontSizeMenuItem =
483 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "increaseFontSizeMenuItem"))
484 method increaseFontSizeMenuItem = increaseFontSizeMenuItem
485 val decreaseFontSizeMenuItem =
486 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "decreaseFontSizeMenuItem"))
487 method decreaseFontSizeMenuItem = decreaseFontSizeMenuItem
488 val normalFontSizeMenuItem =
489 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "normalFontSizeMenuItem"))
490 method normalFontSizeMenuItem = normalFontSizeMenuItem
492 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator12"))
493 method separator12 = separator12
494 val ppNotationMenuItem =
495 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "ppNotationMenuItem"))
496 method ppNotationMenuItem = ppNotationMenuItem
497 val hideCoercionsMenuItem =
498 new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (builder#get_object "hideCoercionsMenuItem"))
499 method hideCoercionsMenuItem = hideCoercionsMenuItem
501 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator13"))
502 method separator13 = separator13
503 val showCoercionsGraphMenuItem =
504 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showCoercionsGraphMenuItem"))
505 method showCoercionsGraphMenuItem = showCoercionsGraphMenuItem
506 val showHintsDbMenuItem =
507 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showHintsDbMenuItem"))
508 method showHintsDbMenuItem = showHintsDbMenuItem
509 val showTermGrammarMenuItem =
510 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showTermGrammarMenuItem"))
511 method showTermGrammarMenuItem = showTermGrammarMenuItem
512 val showUnicodeTable =
513 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "showUnicodeTable"))
514 method showUnicodeTable = showUnicodeTable
516 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "debugMenu"))
517 method debugMenu = debugMenu
519 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "debugMenu_menu"))
520 method debugMenu_menu = debugMenu_menu
522 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "separator6"))
523 method separator6 = separator6
525 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "helpMenu"))
526 method helpMenu = helpMenu
528 new GMenu.menu (GtkMenu.Menu.cast (builder#get_object "helpMenu_menu"))
529 method helpMenu_menu = helpMenu_menu
530 val contentsMenuItem =
531 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "contentsMenuItem"))
532 method contentsMenuItem = contentsMenuItem
534 new GMenu.menu_item (GtkMenu.MenuItem.cast (builder#get_object "aboutMenuItem"))
535 method aboutMenuItem = aboutMenuItem
537 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox99"))
538 method hbox99 = hbox99
539 val hpaneScriptSequent =
540 new GPack.paned (GtkPack.Paned.cast (builder#get_object "hpaneScriptSequent"))
541 method hpaneScriptSequent = hpaneScriptSequent
543 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox18"))
544 method hbox18 = hbox18
545 val tacticsButtonsHandlebox =
546 new GPack.box (GtkPack.Box.cast (builder#get_object "TacticsButtonsHandlebox"))
547 method tacticsButtonsHandlebox = tacticsButtonsHandlebox
548 val vboxTacticsPalette =
549 new GPack.box (GtkPack.Box.cast (builder#get_object "vboxTacticsPalette"))
550 method vboxTacticsPalette = vboxTacticsPalette
552 new GBin.expander (GtkBin.Expander.cast (builder#get_object "expander1"))
553 method expander1 = expander1
555 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox1"))
558 new GButton.button (GtkButton.Button.cast (builder#get_object "butImpl_intro"))
559 method butImpl_intro = butImpl_intro
561 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label8"))
562 method label8 = label8
564 new GButton.button (GtkButton.Button.cast (builder#get_object "butAnd_intro"))
565 method butAnd_intro = butAnd_intro
567 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label7"))
568 method label7 = label7
569 val butOr_intro_left =
570 new GButton.button (GtkButton.Button.cast (builder#get_object "butOr_intro_left"))
571 method butOr_intro_left = butOr_intro_left
573 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label9"))
574 method label9 = label9
575 val butOr_intro_right =
576 new GButton.button (GtkButton.Button.cast (builder#get_object "butOr_intro_right"))
577 method butOr_intro_right = butOr_intro_right
579 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label10"))
580 method label10 = label10
582 new GButton.button (GtkButton.Button.cast (builder#get_object "butNot_intro"))
583 method butNot_intro = butNot_intro
585 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label11"))
586 method label11 = label11
588 new GButton.button (GtkButton.Button.cast (builder#get_object "butTop_intro"))
589 method butTop_intro = butTop_intro
591 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label12"))
592 method label12 = label12
593 val butForall_intro =
594 new GButton.button (GtkButton.Button.cast (builder#get_object "butForall_intro"))
595 method butForall_intro = butForall_intro
597 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label20"))
598 method label20 = label20
599 val butExists_intro =
600 new GButton.button (GtkButton.Button.cast (builder#get_object "butExists_intro"))
601 method butExists_intro = butExists_intro
603 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label21"))
604 method label21 = label21
606 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label4"))
607 method label4 = label4
609 new GBin.expander (GtkBin.Expander.cast (builder#get_object "expander2"))
610 method expander2 = expander2
612 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox3"))
615 new GButton.button (GtkButton.Button.cast (builder#get_object "butImpl_elim"))
616 method butImpl_elim = butImpl_elim
618 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label22"))
619 method label22 = label22
620 val butAnd_elim_left =
621 new GButton.button (GtkButton.Button.cast (builder#get_object "butAnd_elim_left"))
622 method butAnd_elim_left = butAnd_elim_left
624 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label23"))
625 method label23 = label23
626 val butAnd_elim_right =
627 new GButton.button (GtkButton.Button.cast (builder#get_object "butAnd_elim_right"))
628 method butAnd_elim_right = butAnd_elim_right
630 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label24"))
631 method label24 = label24
633 new GButton.button (GtkButton.Button.cast (builder#get_object "butOr_elim"))
634 method butOr_elim = butOr_elim
636 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label27"))
637 method label27 = label27
639 new GButton.button (GtkButton.Button.cast (builder#get_object "butNot_elim"))
640 method butNot_elim = butNot_elim
642 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label31"))
643 method label31 = label31
645 new GButton.button (GtkButton.Button.cast (builder#get_object "butBot_elim"))
646 method butBot_elim = butBot_elim
648 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label33"))
649 method label33 = label33
651 new GButton.button (GtkButton.Button.cast (builder#get_object "butForall_elim"))
652 method butForall_elim = butForall_elim
654 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label34"))
655 method label34 = label34
657 new GButton.button (GtkButton.Button.cast (builder#get_object "butExists_elim"))
658 method butExists_elim = butExists_elim
660 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label35"))
661 method label35 = label35
663 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label5"))
664 method label5 = label5
666 new GBin.expander (GtkBin.Expander.cast (builder#get_object "expander3"))
667 method expander3 = expander3
669 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox4"))
672 new GButton.button (GtkButton.Button.cast (builder#get_object "butRAA"))
673 method butRAA = butRAA
675 new GButton.button (GtkButton.Button.cast (builder#get_object "butUseLemma"))
676 method butUseLemma = butUseLemma
678 new GButton.button (GtkButton.Button.cast (builder#get_object "butDischarge"))
679 method butDischarge = butDischarge
681 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label6"))
682 method label6 = label6
684 new GPack.box (GtkPack.Box.cast (builder#get_object "vboxScript"))
685 method vboxScript = vboxScript
687 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox28"))
688 method hbox28 = hbox28
690 new GButton.toolbar (GtkButton.Toolbar.cast (builder#get_object "buttonsToolbar"))
691 method buttonsToolbar = buttonsToolbar
693 new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem41"))
694 method toolitem41 = toolitem41
695 val scriptTopButton =
696 new GButton.button (GtkButton.Button.cast (builder#get_object "scriptTopButton"))
697 method scriptTopButton = scriptTopButton
699 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image920"))
700 method image920 = image920
702 new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem42"))
703 method toolitem42 = toolitem42
704 val scriptRetractButton =
705 new GButton.button (GtkButton.Button.cast (builder#get_object "scriptRetractButton"))
706 method scriptRetractButton = scriptRetractButton
708 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image921"))
709 method image921 = image921
711 new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem43"))
712 method toolitem43 = toolitem43
713 val scriptJumpButton =
714 new GButton.button (GtkButton.Button.cast (builder#get_object "scriptJumpButton"))
715 method scriptJumpButton = scriptJumpButton
717 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image922"))
718 method image922 = image922
720 new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem44"))
721 method toolitem44 = toolitem44
722 val scriptAdvanceButton =
723 new GButton.button (GtkButton.Button.cast (builder#get_object "scriptAdvanceButton"))
724 method scriptAdvanceButton = scriptAdvanceButton
726 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image923"))
727 method image923 = image923
729 new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem45"))
730 method toolitem45 = toolitem45
731 val scriptBottomButton =
732 new GButton.button (GtkButton.Button.cast (builder#get_object "scriptBottomButton"))
733 method scriptBottomButton = scriptBottomButton
735 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image924"))
736 method image924 = image924
738 new GButton.toolbar (GtkButton.Toolbar.cast (builder#get_object "toolbar2"))
739 method toolbar2 = toolbar2
741 new GButton.tool_item (GtkButton.ToolItem.cast (builder#get_object "toolitem46"))
742 method toolitem46 = toolitem46
743 val scriptAbortButton =
744 new GButton.button (GtkButton.Button.cast (builder#get_object "scriptAbortButton"))
745 method scriptAbortButton = scriptAbortButton
747 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image927"))
748 method image927 = image927
750 new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "scriptNotebook"))
751 method scriptNotebook = scriptNotebook
753 new GPack.paned (GtkPack.Paned.cast (builder#get_object "vpaned1"))
754 method vpaned1 = vpaned1
755 val sequentsNotebook =
756 new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "sequentsNotebook"))
757 method sequentsNotebook = sequentsNotebook
759 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox9"))
762 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "logScrolledWin"))
763 method logScrolledWin = logScrolledWin
765 new GText.view (GtkText.View.cast (builder#get_object "logTextView"))
766 method logTextView = logTextView
768 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox10"))
769 method hbox10 = hbox10
771 new GMisc.statusbar (GtkMisc.Statusbar.cast (builder#get_object "StatusBar"))
772 method statusBar = statusBar
774 new GPack.notebook (GtkPack.Notebook.cast (builder#get_object "HintNotebook"))
775 method hintNotebook = hintNotebook
777 new GMisc.image (GtkMisc.Image.cast (builder#get_object "HintLowImage"))
778 method hintLowImage = hintLowImage
780 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label14"))
781 method label14 = label14
782 val hintMediumImage =
783 new GMisc.image (GtkMisc.Image.cast (builder#get_object "HintMediumImage"))
784 method hintMediumImage = hintMediumImage
786 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label15"))
787 method label15 = label15
789 new GMisc.image (GtkMisc.Image.cast (builder#get_object "HintHighImage"))
790 method hintHighImage = hintHighImage
792 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label16"))
793 method label16 = label16
794 method reparent parent =
795 mainWinEventBox#misc#reparent parent;
798 class uriChoiceDialog ?translation_domain () =
799 let builder = GBuilder.builder ?translation_domain () in
800 let _ = builder#add_objects_from_string data ["UriChoiceDialog"] in
803 new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "UriChoiceDialog"))
804 method toplevel = toplevel
805 val uriChoiceDialog =
806 new GWindow.dialog_any (GtkWindow.Dialog.cast (builder#get_object "UriChoiceDialog"))
807 method uriChoiceDialog = uriChoiceDialog
809 new GPack.box (GtkPack.Box.cast (builder#get_object "dialog-vbox3"))
810 method dialog_vbox3 = dialog_vbox3
811 val dialog_action_area3 =
812 new GPack.button_box (GtkPack.BBox.cast (builder#get_object "dialog-action_area3"))
813 method dialog_action_area3 = dialog_action_area3
814 val uriChoiceAbortButton =
815 new GButton.button (GtkButton.Button.cast (builder#get_object "UriChoiceAbortButton"))
816 method uriChoiceAbortButton = uriChoiceAbortButton
817 val uriChoiceSelectedButton =
818 new GButton.button (GtkButton.Button.cast (builder#get_object "UriChoiceSelectedButton"))
819 method uriChoiceSelectedButton = uriChoiceSelectedButton
821 new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment2"))
822 method alignment2 = alignment2
824 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox3"))
827 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image19"))
828 method image19 = image19
830 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label3"))
831 method label3 = label3
832 val uriChoiceConstantsButton =
833 new GButton.button (GtkButton.Button.cast (builder#get_object "UriChoiceConstantsButton"))
834 method uriChoiceConstantsButton = uriChoiceConstantsButton
836 new GButton.button (GtkButton.Button.cast (builder#get_object "copyButton"))
837 method copyButton = copyButton
838 val uriChoiceAutoButton =
839 new GButton.button (GtkButton.Button.cast (builder#get_object "uriChoiceAutoButton"))
840 method uriChoiceAutoButton = uriChoiceAutoButton
842 new GBin.alignment (GtkBin.Alignment.cast (builder#get_object "alignment5"))
843 method alignment5 = alignment5
845 new GPack.box (GtkPack.Box.cast (builder#get_object "hbox16"))
846 method hbox16 = hbox16
848 new GMisc.image (GtkMisc.Image.cast (builder#get_object "image302"))
849 method image302 = image302
851 new GMisc.label (GtkMisc.Label.cast (builder#get_object "okLabel"))
852 method okLabel = okLabel
853 val uriChoiceForwardButton =
854 new GButton.button (GtkButton.Button.cast (builder#get_object "uriChoiceForwardButton"))
855 method uriChoiceForwardButton = uriChoiceForwardButton
857 new GPack.box (GtkPack.Box.cast (builder#get_object "vbox2"))
860 new GMisc.label (GtkMisc.Label.cast (builder#get_object "UriChoiceLabel"))
861 method uriChoiceLabel = uriChoiceLabel
862 val scrolledwindow1 =
863 new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (builder#get_object "scrolledwindow1"))
864 method scrolledwindow1 = scrolledwindow1
865 val uriChoiceTreeView =
866 new GTree.view (GtkTree.TreeView.cast (builder#get_object "UriChoiceTreeView"))
867 method uriChoiceTreeView = uriChoiceTreeView
869 new GPack.box (GtkPack.Box.cast (builder#get_object "uriEntryHBox"))
870 method uriEntryHBox = uriEntryHBox
872 new GMisc.label (GtkMisc.Label.cast (builder#get_object "label2"))
873 method label2 = label2
875 new GEdit.entry (GtkEdit.Entry.cast (builder#get_object "entry1"))
876 method entry1 = entry1
877 method reparent parent =
878 dialog_vbox3#misc#reparent parent;