X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaGeneratedGui.ml;h=943f78ff861aed5f70ba13a55bed0a70f34a7e1c;hb=a7ab0ef67114c3152920f03ae1d7bfaaf1fae290;hp=09ecc1c57423904d2f5cffc40f403176a5a8bcba;hpb=015263908d9142798bcbddbe4c4d13f71e08c5c3;p=helm.git diff --git a/helm/matita/matitaGeneratedGui.ml b/helm/matita/matitaGeneratedGui.ml index 09ecc1c57..943f78ff8 100644 --- a/helm/matita/matitaGeneratedGui.ml +++ b/helm/matita/matitaGeneratedGui.ml @@ -12,6 +12,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GWindow.window (GtkWindow.Window.cast (Glade.get_widget_msg ~name:"MainWin" ~info:"GtkWindow" xmldata)) method mainWin = mainWin + val mainWinEventBox = + new GBin.event_box (GtkBin.EventBox.cast + (Glade.get_widget_msg ~name:"MainWinEventBox" ~info:"GtkEventBox" xmldata)) + method mainWinEventBox = mainWinEventBox val mainWinShape = new GPack.box (GtkPack.Box.cast (Glade.get_widget_msg ~name:"MainWinShape" ~info:"GtkVBox" xmldata)) @@ -32,10 +36,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"NewMenu" ~info:"GtkImageMenuItem" xmldata)) method newMenu = newMenu - val image76 = + val image116 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image76" ~info:"GtkImage" xmldata)) - method image76 = image76 + (Glade.get_widget_msg ~name:"image116" ~info:"GtkImage" xmldata)) + method image116 = image116 val newMenu_menu = new GMenu.menu (GtkMenu.Menu.cast (Glade.get_widget_msg ~name:"NewMenu_menu" ~info:"GtkMenu" xmldata)) @@ -52,38 +56,38 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"OpenMenuItem" ~info:"GtkImageMenuItem" xmldata)) method openMenuItem = openMenuItem - val image77 = + val image117 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image77" ~info:"GtkImage" xmldata)) - method image77 = image77 + (Glade.get_widget_msg ~name:"image117" ~info:"GtkImage" xmldata)) + method image117 = image117 val saveMenuItem = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"SaveMenuItem" ~info:"GtkImageMenuItem" xmldata)) method saveMenuItem = saveMenuItem - val image78 = + val image118 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image78" ~info:"GtkImage" xmldata)) - method image78 = image78 + (Glade.get_widget_msg ~name:"image118" ~info:"GtkImage" xmldata)) + method image118 = image118 val saveAsMenuItem = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"SaveAsMenuItem" ~info:"GtkImageMenuItem" xmldata)) method saveAsMenuItem = saveAsMenuItem - val image79 = + val image119 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image79" ~info:"GtkImage" xmldata)) - method image79 = image79 + (Glade.get_widget_msg ~name:"image119" ~info:"GtkImage" xmldata)) + method image119 = image119 val separator1 = new GMenu.menu_item (GtkMenu.MenuItem.cast - (Glade.get_widget_msg ~name:"separator1" ~info:"GtkMenuItem" xmldata)) + (Glade.get_widget_msg ~name:"separator1" ~info:"GtkSeparatorMenuItem" xmldata)) method separator1 = separator1 val quitMenuItem = new GMenu.image_menu_item (GtkMenu.ImageMenuItem.cast (Glade.get_widget_msg ~name:"QuitMenuItem" ~info:"GtkImageMenuItem" xmldata)) method quitMenuItem = quitMenuItem - val image80 = + val image120 = new GMisc.image (GtkMisc.Image.cast - (Glade.get_widget_msg ~name:"image80" ~info:"GtkImage" xmldata)) - method image80 = image80 + (Glade.get_widget_msg ~name:"image120" ~info:"GtkImage" xmldata)) + method image120 = image120 val editMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (Glade.get_widget_msg ~name:"EditMenu" ~info:"GtkMenuItem" xmldata)) @@ -104,6 +108,10 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast (Glade.get_widget_msg ~name:"ShowProofMenuItem" ~info:"GtkCheckMenuItem" xmldata)) method showProofMenuItem = showProofMenuItem + val showCheckMenuItem = + new GMenu.check_menu_item (GtkMenu.CheckMenuItem.cast + (Glade.get_widget_msg ~name:"ShowCheckMenuItem" ~info:"GtkCheckMenuItem" xmldata)) + method showCheckMenuItem = showCheckMenuItem val debugMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast (Glade.get_widget_msg ~name:"DebugMenu" ~info:"GtkMenuItem" xmldata)) @@ -114,7 +122,7 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = method debugMenu_menu = debugMenu_menu val separator2 = new GMenu.menu_item (GtkMenu.MenuItem.cast - (Glade.get_widget_msg ~name:"separator2" ~info:"GtkMenuItem" xmldata)) + (Glade.get_widget_msg ~name:"separator2" ~info:"GtkSeparatorMenuItem" xmldata)) method separator2 = separator2 val helpMenu = new GMenu.menu_item (GtkMenu.MenuItem.cast @@ -136,6 +144,18 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (Glade.get_widget_msg ~name:"ScrolledSequents" ~info:"GtkScrolledWindow" xmldata)) method scrolledSequents = scrolledSequents + val viewport1 = + new GBin.viewport (GtkBin.Viewport.cast + (Glade.get_widget_msg ~name:"viewport1" ~info:"GtkViewport" xmldata)) + method viewport1 = viewport1 + val sequentsNotebook = + new GPack.notebook (GtkPack.Notebook.cast + (Glade.get_widget_msg ~name:"SequentsNotebook" ~info:"GtkNotebook" xmldata)) + method sequentsNotebook = sequentsNotebook + val consoleEventBox = + new GBin.event_box (GtkBin.EventBox.cast + (Glade.get_widget_msg ~name:"ConsoleEventBox" ~info:"GtkEventBox" xmldata)) + method consoleEventBox = consoleEventBox val scrolledConsole = new GBin.scrolled_window (GtkBin.ScrolledWindow.cast (Glade.get_widget_msg ~name:"ScrolledConsole" ~info:"GtkScrolledWindow" xmldata)) @@ -145,7 +165,7 @@ class mainWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = (Glade.get_widget_msg ~name:"MainStatusBar" ~info:"GtkStatusbar" xmldata)) method mainStatusBar = mainStatusBar method reparent parent = - mainWinShape#misc#reparent parent; + mainWinEventBox#misc#reparent parent; toplevel#destroy () method check_widgets () = () end @@ -302,6 +322,10 @@ class aboutWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = new GButton.button (GtkButton.Button.cast (Glade.get_widget_msg ~name:"AboutDismissButton" ~info:"GtkButton" xmldata)) method aboutDismissButton = aboutDismissButton + val aboutLabel = + new GMisc.label (GtkMisc.Label.cast + (Glade.get_widget_msg ~name:"AboutLabel" ~info:"GtkLabel" xmldata)) + method aboutLabel = aboutLabel method reparent parent = dialog_vbox2#misc#reparent parent; toplevel#destroy () @@ -490,9 +514,37 @@ class emptyDialog ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = toplevel#destroy () method check_widgets () = () end +class checkWin ?(file="matita.glade") ?domain ?autoconnect(*=true*) () = + let xmldata = Glade.create ~file ~root:"CheckWin" ?domain () in + object (self) + inherit Glade.xml ?autoconnect xmldata + val toplevel = + new GWindow.window (GtkWindow.Window.cast + (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata)) + method toplevel = toplevel + val checkWin = + new GWindow.window (GtkWindow.Window.cast + (Glade.get_widget_msg ~name:"CheckWin" ~info:"GtkWindow" xmldata)) + method checkWin = checkWin + val checkWinEventBox = + new GBin.event_box (GtkBin.EventBox.cast + (Glade.get_widget_msg ~name:"CheckWinEventBox" ~info:"GtkEventBox" xmldata)) + method checkWinEventBox = checkWinEventBox + val scrolledCheck = + new GBin.scrolled_window (GtkBin.ScrolledWindow.cast + (Glade.get_widget_msg ~name:"ScrolledCheck" ~info:"GtkScrolledWindow" xmldata)) + method scrolledCheck = scrolledCheck + method reparent parent = + checkWinEventBox#misc#reparent parent; + toplevel#destroy () + method check_widgets () = () + end let check_all ?(show=false) () = ignore (GMain.Main.init ()); + let checkWin = new checkWin () in + if show then checkWin#toplevel#show (); + checkWin#check_widgets (); let emptyDialog = new emptyDialog () in if show then emptyDialog#toplevel#show (); emptyDialog#check_widgets ();