Backported the GUI enhancement from issue_125: Push button aware of the need to push.