message: Implement Cleaning Sum of Best
diff: @@ -224,6 +224,9 @@ export class RunEditor extends React.Component<Props, State> {
  <MenuItem onClick={(_) => this.clearTimes()}>
  Clear Times
  </MenuItem>
  + <MenuItem onClick={(_) => this.cleanSumOfBest()}>
  + Clean Sum of Best
  + </MenuItem>
  </ContextMenu>
  </button>
  </div>
  @@ -436,6 +439,24 @@ export class RunEditor extends React.Component<Props, State> {
  )
  }
  + private cleanSumOfBest() {
  + this.props.editor.cleanSumOfBest().with((cleaner) => {
  + while (true) {
  + const potentialCleanUp = cleaner.nextPotentialCleanUp();
  + if (!potentialCleanUp) {
  + break;
  + }
  + potentialCleanUp.with((potentialCleanUp) => {
  + const message = potentialCleanUp.message();
  + if (confirm(message)) {
  + cleaner.apply(potentialCleanUp);
  + }
  + });
  + }
  + });
  + this.update();
  + }
  +
  private clearHistory() {
  this.props.editor.clearHistory();
  this.update();
  