12345678910111213141516171819202122232425 |
- /**
- * Text extraction plugin.
- */
- Draw.loadPlugin(function(ui)
- {
- // Adds resource for action
- mxResources.parse('extractText=Extract Text...');
- // Adds action
- ui.actions.addAction('extractText', function()
- {
- mxUtils.popup(ui.editor.graph.getIndexableText());
- });
-
- var menu = ui.menus.get('extras');
- var oldFunct = menu.funct;
-
- menu.funct = function(menu, parent)
- {
- oldFunct.apply(this, arguments);
-
- ui.menus.addMenuItems(menu, ['-', 'extractText'], parent);
- };
- });
|