def adjust_viewport_scale(self, scale: float | None = None) -> None:
        """
        Reset viewport scaling. If `scale` is None, viewport scaling is reset to default.
        """
        if scale is None:
            self._view.resetTransform()
        else:
            self._view.scale(scale, scale)
        self.update_scene_rect()
        self.update_display_num_rows()

        Reset viewport scaling. If `scale` is None, viewport scaling is reset to default.
        
angrmanagement/ui/views/hex_view.py