Lines Matching refs:plugins
8222 var plugins = mxSettings.getPlugins().slice();
8226 if (plugins.length == 0)
8234 for (var i = 0; i < plugins.length; i++)
8248 mxUtils.write(span, plugins[i]);
8257 editorUi.confirm(mxResources.get('delete') + ' "' + plugins[index] + '"?', function()
8261 delFn(plugins[index]);
8264 plugins.splice(index, 1);
8280 if (newPlugin && mxUtils.indexOf(plugins, newPlugin) < 0)
8282 plugins.push(newPlugin);
8332 if (token.length > 0 && mxUtils.indexOf(plugins, token) < 0)
8334 plugins.push(token);
8352 if (mxUtils.indexOf(plugins, token) < 0)
8354 plugins.push(token);
8372 mxSettings.setPlugins(plugins);