Fixes #3364 (big bug on buttons) It is not possible to click the same button twice in a row (while the script is actually running), but other buttons can be clicked.