 				
 			} else {
 				
-				update()
+				updateDocumentsAndUserInterface()
 				
 				for d in analyzer.sourceCodeDocuments {
 					message += d.export(basePath: basePath!)

		
		if let basePath = basePath {
			if let string = prog.lazyfileString(basePath: basePath, error: &error) {
				sourceFileTextView.string = string
				update()
			}
			
			if let error = error {

		default:
			Global.platform = .iOS
		}
		updateDocumentsAndUserInterface()
	}
	
	@IBAction func filePopUpButtonUpdated(sender: AnyObject) {
