text.js 719 B

12345678910111213141516171819202122232425262728293031
  1. /**
  2. * Text extraction plugin.
  3. */
  4. Draw.loadPlugin(function(ui)
  5. {
  6. // Adds resource for action
  7. mxResources.parse('extractText=Extract Text...');
  8. // Adds action
  9. ui.actions.addAction('extractText', function()
  10. {
  11. var graph = ui.editor.graph;
  12. var text = graph.getIndexableText(
  13. (graph.isSelectionEmpty()) ? null :
  14. graph.getSelectionCells());
  15. var dlg = new EmbedDialog(ui, text, null,
  16. null, null, 'Extracted Text:');
  17. ui.showDialog(dlg.container, 450, 240, true, true);
  18. dlg.init();
  19. });
  20. var menu = ui.menus.get('extras');
  21. var oldFunct = menu.funct;
  22. menu.funct = function(menu, parent)
  23. {
  24. oldFunct.apply(this, arguments);
  25. ui.menus.addMenuItems(menu, ['-', 'extractText'], parent);
  26. };
  27. });