Issue #65: moved some widget access code that wasn't synchronized