noCanvas();

//  $('[data-toggle="tooltip"]').tooltip();

  select("#button").mouseClicked(pushed);

}

​

function pushed()

{

  var button = document.getElementById("button");

  button.removeAttribute("title");

  button.setAttribute("title", str(millis()));

//  button.setAttribute("disabled", "true");

  $('[data-toggle="tooltip"]').data('bs.tooltip',false).tooltip();

  console.log("pushed");

}

​

function keyPressed()

{

  if( key == ' ' ){

    var button = document.getElementById("button");

    button.removeAttribute("disabled");

  }

}

​