(* method toolbar : MatitaGeneratedGui.toolBarWin *)
method console: console
- method sourceView: GSourceView.source_view
+ method sourceView: GSourceView2.source_view
(** {2 Dialogs instantiation}
* methods below create a new window on each invocation. You should