+ method toolbar = toolbar
+
+ method newUriDialog () =
+ let dialog = new uriChoiceDialog ~file () in
+ dialog#check_widgets ();
+ dialog
+
+ method newInterpDialog () =
+ let dialog = new interpChoiceDialog ~file () in
+ dialog#check_widgets ();
+ dialog
+
+ method newConfirmationDialog () =
+ let dialog = new confirmationDialog ~file () in
+ dialog#check_widgets ();
+ dialog
+
+ method newEmptyDialog () =
+ let dialog = new emptyDialog ~file () in
+ dialog#check_widgets ();
+ dialog