Beispiel #1
0
 public void repaintBoth() {
   //		log( "repaintBoth");
   events.resize();
   ruler.resize();
   //		log( "resized");
   events.repaint();
   ruler.repaint();
   //		log( "repainted");
 }