docs: def OnViewTypeTool( self, event ):
          """When the user changes the selection, make that our selection"""
          new = self.viewTypeTool.GetStringSelection()
          if new != self.viewType:
              self.viewType = new
              self.OnRootView( event )