790791792793794795796797798799800
if(editores.size() > 0) { String Nombre = tabbed.getTitleAt(tabbed.getSelectedIndex()).trim(); JEditorPane jquery = (JEditorPane)editores.get(Nombre); jquery.copy(); return true; } return false; }