/** @see java.awt.peer.TextComponentPeer */
@Override
public void select(int s, int e) {
xtext.select(s, e);
// Fixed 5100806
// We must take care that Swing components repainted correctly
xtext.repaint();
}
/** @see java.awt.peer.TextComponentPeer */
@Override
public void setEditable(boolean editable) {
if (xtext != null) {
xtext.setEditable(editable);
xtext.repaint();
}
}
/** @see java.awt.peer.ComponentPeer */
@Override
public void setEnabled(boolean enabled) {
super.setEnabled(enabled);
if (xtext != null) {
xtext.setEnabled(enabled);
xtext.repaint();
}
}
@Override
public void repaint() {
if (xtext != null) xtext.repaint();
}
