- method newUriDialog : unit -> MatitaGeneratedGui.uriChoiceDialog
- method newInterpDialog : unit -> MatitaGeneratedGui.interpChoiceDialog
+ method newUriDialog: unit -> MatitaGeneratedGui.uriChoiceDialog
+ method newInterpDialog: unit -> MatitaGeneratedGui.interpChoiceDialog
+ method newConfirmationDialog: unit -> MatitaGeneratedGui.confirmationDialog
+ method newTextDialog: unit -> MatitaGeneratedGui.textDialog