644 		spinner.spin = function(container, label)  argument
653 				if (label != null)
683 					if (label.substring(label.length - 3, label.length) != '...' &&
684 						label.charAt(label.length - 1) != '!')
686 						label = label + '...';
689 					status.innerHTML = label;
703 							this.spin(container, label);
2722 						label: 'autosave_' + ((this.editor.autosave) ? 'on' : 'off')});
2767 		        			label: 'stack_' + e.stack});
4213 				var label = document.createElement('label');
4214 				label.setAttribute('for', 'geDoNotShowAgainCheckbox');
4215 				mxUtils.write(label, mxResources.get('doNotShowAgain'));
4216 				div.appendChild(label);
4261 				if (source != chk && source != label)
5204 …EditorUi.prototype.addRadiobox = function(div, radioGroupName, label, checked, disabled, disableNe…  argument
5206 …return this.addCheckbox(div, label, checked, disabled, disableNewline, visible, true, radioGroupNa…
5212 …EditorUi.prototype.addCheckbox = function(div, label, checked, disabled, disableNewline, visible, …  argument
5244 			mxUtils.write(lbl, label);
7237 						label: (remote) ? 'remote' : 'local'});
12922         		var label = null;
12966 		    					label = graph.sanitizeHtml(value);
13087     			if (label == null)
13089     				label = '%' + attribs[0] + '%';
13137     					var newCell = new mxCell(label, new mxGeometry(x0, y,
13318 				    							var label = edge.label;
13322 				    								label = (dataCell.getAttribute(edge.fromlabel) || '') + (label || '');
13327 				    								label = graph.replacePlaceholders(dataCell,
13328 														edge.sourcelabel, vars) + (label || '');
13333 				    								label = (label || '') + (ref.getAttribute(edge.tolabel) || '');
13338 				    								label = (label || '') + graph.replacePlaceholders(
13348 				    							var edgeCell = graph.insertEdge(null, null, label || '', (edge.invert) ?
13360 				    									var el = new mxCell(def.label || k,
13860 		findReplace.label = mxResources.get('find') + ((graph.isEnabled()) ?