Method repaint

src/main/java/gate/gui/ResourceRenderer.java:237–239

Overridden for performance reasons.

(long tm, int x, int y, int width, int height)

   * Overridden for performance reasons.
   */
  @Override
  public void repaint(long tm, int x, int y, int width, int height) {
  }

  /**
   * Overridden for performance reasons.