Implemented work around for a SketchUp bug where calling UI.stop_timer might crash SketchUp.