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