#43: push() does not wait between press/release calls
Merge pull request #45 from Philipp91/ticket43

#43: push() does not wait between press/release calls