198199200201202203204205206207208
} } } }); query.addFocusListener(new java.awt.event.FocusListener() { public void focusGained(FocusEvent e) { pintaPosicion(0,(JEditorPane)e.getSource()); } public void focusLost(FocusEvent e) { }
317318319320321322323324325326327