function stableUpdateTabDiscardsInfoTable() {
    if (updateTimer)
      clearInterval(updateTimer);
    stableUpdateTabDiscardsInfoTableImpl();
    updateTimer =
        setInterval(stableUpdateTabDiscardsInfoTableImpl, UPDATE_INTERVAL_MS);
  }
/**
   * A wrapper to stableUpdateTabDiscardsInfoTableImpl that is called due to
   * user action and not due to the automatic timer. Cancels the existing timer
   * and reschedules it after rendering instantaneously.
   */
A wrapper to stableUpdateTabDiscardsInfoTableImpl that is called due to
user action and not due to the automatic timer. Cancels the existing timer
and reschedules it after rendering instantaneously.
A wrapper to stableUpdateTabDiscardsInfoTableImpl that is called due to user action and not due to the automatic timer . Cancels the existing timer and reschedules it after rendering instantaneously .
function stableUpdateTabDiscardsInfoTable() {
    if (updateTimer)
      clearInterval(updateTimer);
    stableUpdateTabDiscardsInfoTableImpl();
    updateTimer =
        setInterval(stableUpdateTabDiscardsInfoTableImpl, UPDATE_INTERVAL_MS);
  }
function stableUpdateTabDiscardsInfoTable ( ) { if ( updateTimer ) clearInterval ( updateTimer ) ; stableUpdateTabDiscardsInfoTableImpl ( ) ; updateTimer = setInterval ( stableUpdateTabDiscardsInfoTableImpl , UPDATE_INTERVAL_MS ) ; }
A wrapper to stableUpdateTabDiscardsInfoTableImpl that is called due to
 user action and not due to the automatic timer.
A wrapper to stableUpdateTabDiscardsInfoTableImpl that is called due to user action and not due to the automatic timer .