PushButton object now has method ReportPressedOnce (by idserda)
Commit ui.py for typo in UpdateMenu (noticed by idserda)