new GMisc.image (GtkMisc.Image.cast
(Glade.get_widget_msg ~name:"image187" ~info:"GtkImage" xmldata))
method image187 = image187
- val browserNotebook =
- new GPack.notebook (GtkPack.Notebook.cast
- (Glade.get_widget_msg ~name:"BrowserNotebook" ~info:"GtkNotebook" xmldata))
- method browserNotebook = browserNotebook
- val label9 =
- new GMisc.label (GtkMisc.Label.cast
- (Glade.get_widget_msg ~name:"label9" ~info:"GtkLabel" xmldata))
- method label9 = label9
+ val frame1 =
+ new GBin.frame (GtkBin.Frame.cast
+ (Glade.get_widget_msg ~name:"frame1" ~info:"GtkFrame" xmldata))
+ method frame1 = frame1
+ val scrolledBrowser =
+ new GBin.scrolled_window (GtkBin.ScrolledWindow.cast
+ (Glade.get_widget_msg ~name:"ScrolledBrowser" ~info:"GtkScrolledWindow" xmldata))
+ method scrolledBrowser = scrolledBrowser
method reparent parent =
browserWinEventBox#misc#reparent parent;
toplevel#destroy ()