Beispiel #1
0
 /** @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();
 }
Beispiel #2
0
 /** @see java.awt.peer.TextComponentPeer */
 @Override
 public void setEditable(boolean editable) {
   if (xtext != null) {
     xtext.setEditable(editable);
     xtext.repaint();
   }
 }
Beispiel #3
0
 /** @see java.awt.peer.ComponentPeer */
 @Override
 public void setEnabled(boolean enabled) {
   super.setEnabled(enabled);
   if (xtext != null) {
     xtext.setEnabled(enabled);
     xtext.repaint();
   }
 }
Beispiel #4
0
 @Override
 public void repaint() {
   if (xtext != null) xtext.repaint();
 }