838 BaseFormatPanel.prototype.createTitle = function(title)  argument
1571 BaseFormatPanel.prototype.addLabel = function(div, title, right, width)  argument
1714 ArrangePanel.prototype.addTable = function(div)  argument
1897 ArrangePanel.prototype.addLayerOps = function(div)  argument
1953 ArrangePanel.prototype.addGroupOps = function(div)  argument
2173 ArrangePanel.prototype.addAlign = function(div)  argument
2212 ArrangePanel.prototype.addFlip = function(div)  argument
2252 ArrangePanel.prototype.addDistribute = function(div)  argument
2287 ArrangePanel.prototype.addAngle = function(div)  argument
4734 StyleFormatPanel.prototype.addEditOps = function(div)  argument
4943 …result.push({title: mxResources.get('laneColor'), key: 'swimlaneFillColor', defaultValue: 'default…  property
5797 StyleFormatPanel.prototype.addEffects = function(div)  argument
5881 StyleFormatPanel.prototype.addStyleOps = function(div)  argument
5930 DiagramStylePanel.prototype.addView = function(div)  argument
5989 	}, null, function(div)  argument
6014 	}, null, function(div)  argument
6044 	}, null, function(div)  argument
6590 DiagramFormatPanel.prototype.addView = function(div)  argument
6695 DiagramFormatPanel.prototype.addOptions = function(div)  argument
6895 DiagramFormatPanel.prototype.addDocumentProperties = function(div)  argument
6910 DiagramFormatPanel.prototype.addPaperSize = function(div)  argument
6957 DiagramFormatPanel.prototype.addStyleOps = function(div)  argument