Closed gonfunko closed 2 weeks ago
Fixes #8353
This PR removes the InsertionMarkerManager and references to it.
The basics
The details
Resolves
Fixes #8353
Proposed Changes
This PR removes the InsertionMarkerManager and references to it.