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