There is an example of a programme that differentiates between long and short push-button pushes on the Arduino.cc website, but I was not taken it.