def on_synchronized_highlight_regions_changed(self) -> None:
        """
        Handle synchronized highlight region change event.
        """

        Handle synchronized highlight region change event.
        
angrmanagement/ui/views/view.py