public void repaint(long tm,
		      int x,
		      int y,
		      int width,
		      int height)
  {
    System.out.println("timed repaint.");
    Timer t = new Timer();
    t.schedule(new RepaintTimerTask(x, y, width, height), tm);
  }

  /**
   * Timed repainter
   */
  private class RepaintTimerTask extends TimerTask 
  {    
    private int x, y, w, h;
    RepaintTimerTask(int x, int y, int w, int h)
    { 
      this.x=x;
      this.y=y;
      this.w=w;
      this.h=h; 
    }
    public void run()
    { 
      QtUpdateArea(x, y, w, h); 
    }
  }