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