4461 EditorUi.prototype.extractGraphModelFromHtml = function(data)  argument
4467     	var idx = data.indexOf('<mxGraphModel ');
4471     		var idx2 = data.lastIndexOf('</mxGraphModel>');
4475     			result = data.substring(idx, idx2 + 21).replace(/>/g, '>').
4524 	navigator.clipboard.read().then(mxUtils.bind(this, function(data)  argument
4526 		if (data != null && data.length > 0 && type == 'html' &&
4527 			mxUtils.indexOf(data[0].types, 'text/html') >= 0)
4529 			data[0].getType('text/html').then(mxUtils.bind(this, function(blob)
4583 				}))['catch'](function(data)
4587 			}))['catch'](function(data)
4592 		else if (data != null && data.length > 0 && type == 'text' &&
4593 				mxUtils.indexOf(data[0].types, 'text/plain') >= 0)
4595 			data[0].getType('text/plain').then(function(blob)
4613 	}))['catch'](function(data)
4622 EditorUi.prototype.parseHtmlData = function(data)  argument
4626 	if (data != null && data.length > 0)
4628 		var hasMeta = data.substring(0, 6) == '<meta ';
4631 			this.editor.graph.sanitizeHtml(data);
4735 	var data = null;
4745 				data = provider.getData('Text');
4749 …	data = (mxUtils.indexOf(provider.types, 'text/html') >= 0) ? provider.getData('text/html') : null;
4751 				if (mxUtils.indexOf(provider.types, 'text/plain' && (data == null || data.length == 0)))
4753 					data = provider.getData('text/plain');
4757 			if (data != null)
4759 				data = Graph.zapGremlins(mxUtils.trim(data));
4762 				var xml =  this.extractGraphModelFromHtml(data);
4766 					data = xml;
4772 	if (data != null && this.isCompatibleString(data))
4774 		result = data;
4784 EditorUi.prototype.isCompatibleString = function(data)  argument