docs: def saveProfile( self ):
          """
          Saves the current profile to the current settings from the view widget.
          """
          manager = self.parent()
          prof    = manager.currentProfile()
          
          # save the current profile
          save_prof = manager.viewWidget().saveProfile()
          prof.setXmlElement(save_prof.xmlElement())