Java HistoryPanel.repaint Examples

Example #1

File: BddtHistoryBubble.java Project: shveta08/ICSE-2012-CodeBubbles

  @Override
  public void handleHistoryUpdated() {
    synchronized (this) {
      update_needed = true;
    }

    draw_area.repaint();
  }

Example #2

File: BddtHistoryBubble.java Project: shveta08/ICSE-2012-CodeBubbles

  /** ***************************************************************************** */
  @Override
  public void handleHistoryStarted() {
    synchronized (this) {
      update_needed = true;
      restart_needed = true;
      thread_colors.clear();
    }

    draw_area.repaint();
  }