def raise_view(self, view: BaseView) -> None:
        """
        Find the dock widget of a view, and then bring that dock widget to front.
        """
        self._promote_view(view)

        # find the dock widget by the view
        dock = self.view_to_dock.get(view, None)
        if dock is None:
            return

        if dock.isAutoHide():
            dock.toggleView(True)
        if not dock.isTabbed():
            dock.show()
        dock.raise_()
        view.focusWidget()

        Find the dock widget of a view, and then bring that dock widget to front.
        
angrmanagement/ui/view_manager.py