Esempio n. 1
0
 public void paint(Graphics g) {
   // selecting does not work as expected with JFC1.1
   // see JavaBug: 4228035, 4233965
   if (isSelected()) {
     paintSelected(g);
   } else {
     super.paint(g);
   }
 }