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